1. Please do link your microkernel, I'm very curious to learn from other people working in this space
reply2. I'm not exactly looking to recreate the BEAM. I'm building a message-passing microkernel built on my interpretation of capabilities: they replace PIDs in a way that they basically become akin to object pointers, with all the extensibility and security. It's a pretty wild prototype, with a ring-0 kernel that's less than 2k lines which only deals with paging and interrupts, and the userspace is one-scheduler-per-core and a stackless design on a linear address space. A design goal is MAXIMUM performance and simplicity: in most cases a sending a message to another capability is no heavier than a function call, unless the destination is currently busy.
Processes just export a
void handle(void *cap_private_state, msg_t message)