Hacker News new | ask | show | jobs
by abudabi123 1403 days ago
Would programming in DrRacket running on seL4 microkernel allow better debugability and control?