Hacker News new | ask | show | jobs
by yjftsjthsd-h 1205 days ago
Is anyone running normal workloads (node/java/php/python/whatever) on seL4 without sticking Linux in the middle?