DreamyOS - A Simple Operating System for the seL4 Micro Kernel

Please look at dreamy.pdf for the full documentation of the system.

Name		Name	Last commit message	Last commit date
Latest commit History 273 Commits
apps		apps
configs		configs
documentation		documentation
kernel		kernel
libs		libs
tools		tools
.config		.config
.gitignore		.gitignore
.travis.yml		.travis.yml
Kbuild		Kbuild
Kconfig		Kconfig
Makefile		Makefile
Makefile.flags		Makefile.flags
README.md		README.md
dreamy.pdf		dreamy.pdf

Provide feedback