OS
Resources
- OS Dev: a wiki with resources about OS development.
Unikernel
Resources
- What is MirageOS? (YouTube)
Threads and process
TODO: do some research about threads and processes in UNIX and documents the difference between fork, vfork and create_thread.