finally, someone figured out how to make ipc even more complex. good thing i'll never need to use that in the real world. https://seiya.me/blog/microkernel-ipc-design