move Linux to the seL4-kernel...that would be something ;) AKA hey tannenbaum you where right but also sooo wrong. BTW it's so sad that Minix3 stop'd being mai

move Linux to the seL4-kernel...that would be something ;) AKA hey tannenbaum you where right but also sooo wrong. BTW it's so sad that Minix3 stop'd being maintained.