Next steps

dinosaure commented

2025-01-06 11:50:50 +00:00

Owner

be able to compile OCaml 5.2.1 as we did for ocaml-solo5
- follow the same pattern to compile the cross-compiler, be sure that we use our aarch64-linux-gcc compiler with few flags as Solo5 provides a toolchain to compile C files.
- Start to test an OS in OCaml on RPBi 5, we should have everything set-up for that (including malloc()) - probably, we should invest on a toolkit to debug our unikernel (see https://www.raspberrypi.com/documentation/microcontrollers/debug-probe.html)
- be sure that we can start to play with, at least, GPIO
- improve how we handle interrupts (Lucas did something on the old version of gilbraltar about CPU interrupts (FIC) and signals, I think the idea is good to keep at the beginning)
- start to implement a miou-gilbraltar to have a proper scheduler in OCaml for our unikernel
- branch interrupts & exceptions with Miou and start to implement asynchronous programs according interrupts
start to see how circle implements the ethernet driver, it should be difficult but it corresponds to lot of C code
- branch ethernet events to Miou
- start to integrate uTCP with miou-gilbraltar
- implement a simple echo server

- [ ] be able to compile OCaml 5.2.1 as we did for `ocaml-solo5` + [ ] follow the same pattern to compile the cross-compiler, be sure that we use our `aarch64-linux-gcc` compiler with few flags as Solo5 provides a toolchain to compile C files. + [ ] Start to test an OS in OCaml on RPBi 5, we should have everything set-up for that (including `malloc()`) - probably, we should invest on a toolkit to debug our unikernel (see https://www.raspberrypi.com/documentation/microcontrollers/debug-probe.html) + [ ] be sure that we can start to play with, at least, GPIO + [ ] improve how we handle interrupts (Lucas did something on the old version of gilbraltar about CPU interrupts (FIC) and signals, I think the idea is good to keep at the beginning) + [ ] start to implement a `miou-gilbraltar` to have a proper scheduler in OCaml for our unikernel + [ ] branch interrupts & exceptions with Miou and start to implement asynchronous programs according interrupts - [ ] start to see how [circle]() implements the ethernet driver, it should be difficult but it corresponds to lot of C code + [ ] branch ethernet events to Miou + [ ] start to integrate uTCP with `miou-gilbraltar` + [ ] implement a simple echo server

🚀 1

Next steps #2