Skip to content

A lightweight separation kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads

License

Notifications You must be signed in to change notification settings

MicroOperations/Twan

Repository files navigation

Twan Separation Kernel

A lightweight separation kernel with dynamic routing capabilities

Overview

Twan is a Separation Kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads. It consists of two distinct components:

  • Twanvisor: A hypervisor that leverages hardware assisted virtualisation to isolate partitions. Guests are paravirtualised and use API's provided by Twanvisor.
  • TwanRTOS: Root partition operating system that initializes Twanvisor, manages resources, and controls partition policies.

Note: Twan is still in early stages of development.

Support

Twan currently has support for Intel processors with:

  • VT-x
  • EPTs
  • Unrestricted guest

Note: Even if your hardware fits these requirements, be aware that it may not work out of the box.

Compliance

Twan is not currently ARINC 653 or SKPP compliant out of the box. Certification requires formal verification, safety analysis, and extensive validation beyond the current scope.

Documentation

Acknowledgements

References

License

Twan is licensed under MIT

MIT License

Copyright (c) 2026 Humza Khan

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.

About

A lightweight separation kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Sponsor this project

 

Packages

No packages published

Languages