If you are new to this site, please start exploring it at the overview page.
In related news, the UNSW DiSy group has announced that they are discontinuing all development on the L4/Alpha and L4/MIPS kernels. They now use Pistachio exclusively for new work. Also, L4KA has discontinued support for their Hazelnut kernel to concentrate on Pistachio development.
|