Pagination process

[Kuratius]

Finally, please note that at this time the pagination process is very fragile, so it can and may crash. If you see the Pi Pico’s green LED flashing, that means the core has hard-faulted, and you’ll need to reboot either via the reset button or by power-cycling the device.

May be worth having an issue to track this. Is the idea to rewrite it in rust, zig, something else? How complex would this be? Is it as simple as porting the c++?

Are there code examples/tests that one could use to test an implementation without access to an openBook, but with access to a pico?