Greetings, The seL4 microkernel has recently been open-sourced and is now hosted on GitHub.
It features high performance and includes proof of formal correctness, ie. freedom of bugs. Maybe this has relevance for your Genode OS framework regarding expanding the choice of base platforms. ------------------------------------------------------------------------------ Infragistics Professional Build stunning WinForms apps today! Reboot your WinForms applications with our WinForms controls. Build a bridge from your legacy apps to the future. http://pubads.g.doubleclick.net/gampad/clk?id=153845071&iu=/4140/ostg.clktrk _______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
