3 ms·
As one of my coworkers put it: "A talented programmer can write and verify 4 lines of code a day" seL4 has some cool ideas, but I can't stress enough how mise
by ashafer 6y ago
As one of my coworkers put it:
"A talented programmer can write and verify 4 lines of code a day"
seL4 has some cool ideas, but I can't stress enough how miserable it is to develop for.
- CalChris 6y agoDo you mean it's miserable to develop the seL4 microkernel or do you mean it's miserable to develop applications on top of seL4? If the latter, is it any different from any other microkernel?