Other useful idea mines: L4 microkernel and Genode UI:
https://microkerneldude.wordpress.com/2019/03/07/how-to-and-how-not-to-use-sel4-ipc/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
-KenD
Locked
