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.