21 Feb
2021
21 Feb
'21
4:56 p.m.
Other useful idea mines: L4 microkernel and Genode UI:
https://microkerneldude.wordpress.com/2019/03/07/how-to-and-how-not-to-use-s...
https://genode.org/about/index -- multiple concurrent window systems
https://sel4.systems/ -- very fast message based IPC (think multiple VM spaces)
Just thinking of making multicore more useful & robust..
I think Aarch64 and particularly RISC-V are more useful starting points, BTW. (BeagleV is coming soon.. https://beagleboard.org/beaglev :)
$0.02, -KenD