A portable picokernel for async I/O | Dark Hacker News