Skip to content

arguslab/SecureBuildingAutomationSystems

 
 

Repository files navigation

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.

How to build

How to run

About

Proof of Concept seL4-Based Building Automation System

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 86.9%
  • C++ 4.1%
  • Python 3.8%
  • TeX 1.9%
  • Makefile 1.1%
  • Assembly 1.1%
  • Other 1.1%