Microkernel-Based Distributed Building Automation System

This proof of concept is illustrates a distributed system of seL4-based building controllers working together to control temperature.

This project is loosely based on the UNSW Advanced Operating System's source code.

Name		Name	Last commit message	Last commit date
Latest commit History 48 Commits
apps		apps
configs		configs
kernel		kernel
libs		libs
tools		tools
.config		.config
.config.old		.config.old
.gitignore		.gitignore
.gitsubstreeconfig		.gitsubstreeconfig
Kbuild		Kbuild
Kconfig		Kconfig
Makefile		Makefile
Makefile.flags		Makefile.flags
README.md		README.md
build.sh		build.sh
null.i		null.i
null.s		null.s
qemu10.sh		qemu10.sh
test.data		test.data

Provide feedback