Sounds neat but very minimal: > Node.js-style callback-based programming - everything happens in one efficient thread with no I/O blocking or unnecessary guest

Sounds neat but very minimal: > Node.js-style callback-based programming - everything happens in one efficient thread with no I/O blocking or unnecessary guest-side context switching. > No race conditions. Delegated IRQ handling makes race conditions in “userspace” “impossible”. …unless you implement threads yourself (you have the access) or we do.