We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
The eXokernel Development Kit is an open source effort to build exokernel capabilities for the Linux operating system.
The project uses code developed and released by Samsung Research America.