3 ms·seL4 is not what I'd recommend a newbie to kernel dev look at. It's a very complex project.by junon 4y agoseL4 is not what I'd recommend a newbie to kernel dev look at. It's a very complex project.