Originally posted by tmpdir
View Post
I still don't get it why GNU just don't shift to seL4 or even to Genode as whole and start from there. They're both GPL'ed projects and together they would have more manpower and would all be part of something bigger. (i do understand that shifting from mach to sel4 would be sending a lot of work to the trashcan, but... come'on... mach?!?!?!... that's not even a mummy anymore!!! it's a fossil!!! And if they would base the entire system upon genode they would start far ahead than where they are now... but maybe that's just my retarded neuron speaking)
Comment