FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

glem0/DreamyOS-seL4-Operating-System-AOS: A simple operating system (SOS) built on top of the seL4 microkernel · GitHub

Name		Name	Last commit message	Last commit date
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

Repository files navigation

README

DreamyOS - A Simple Operating System for the seL4 Micro Kernel

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

About

A simple operating system (SOS) built on top of the seL4 microkernel

12 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages

Back | FazBrowse Home | New Git URL