4 ms·
Nice, so this basically overcomes one of the main limitations of SEL4 etc?
by anonymousDan 4y ago
Nice, so this basically overcomes one of the main limitations of SEL4 etc?
- snvzz 4y agoWhat are these seL4 limitations?
- anonymousDan 4y agoAs I understand it, the multicore version was never verified. I could be out of date on that though.
- deleted 4y ago[deleted]
- abudabi123 4y agoWould programming in DrRacket running on seL4 microkernel allow better debugability and control?