Hacker News new | ask | show | jobs
by locust495 1280 days ago
A lot of ARM CPU run some sort of L4 microkernel family OS so ....