WHAT IS IT?
- A MICROKERNEL BASED ON FOUR KEY ABSTRACTIONS:
- TASKS HOLD RESOURCES AND RUN THREADS
- A THREAD IS A CONTEXT OF EXECUTION ON A PROCESSOR
- PORTS ARE UNIDIRECTIONAL QUEUES BETWEEN TASKS
- MESSAGES ARE STRUCTURED OBJECTS SENT TO PORTS
TASKS
- RESOURCE CONTAINERS THAT HOLD:
- VIRTUAL MEMORY ADDRESS SPACE
- ONE OR MORE THREADS
- PORT SEND AND RECEIVE RIGHTS
- MUCH MUCH MORE!
Enjoy!

!