Hacker News new | ask | show | jobs
by anonymousDan 1403 days ago
Nice, so this basically overcomes one of the main limitations of SEL4 etc?
2 comments
abudabi123 1403 days ago
Would programming in DrRacket running on seL4 microkernel allow better debugability and control?
link
snvzz 1403 days ago
What are these seL4 limitations?
link
anonymousDan 1402 days ago
As I understand it, the multicore version was never verified. I could be out of date on that though.
link