awesome.os.and.kernels/lionsos
1
0
Fork 0
mirror of https://github.com/au-ts/lionsos synced 2026-03-24 03:48:46 +00:00
Code Issues Projects Releases Packages Wiki Activity
No description
720 commits 55 branches 3 tags 185 MiB
  • C 98.5%
  • Makefile 0.5%
  • C++ 0.4%
  • Shell 0.2%
  • Nix 0.2%
  • Other 0.1%
Find a file
Exact
Julia Vassiliki e4f675632b deps: update sDDF 
This fixes some makefile dependency issues with libc, and
then updates the qemu commands to specify the virtio bus
as this was changed in upstream.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
2026-03-24 11:26:45 +10:00
.github/workflows Update to latest sDDF/Microkit/sdfgen 2026-02-11 15:38:32 +10:00
.reuse Update dependencies and move to runtime configuration/metaprogram 2025-03-25 14:57:17 +11:00
ci Replace posix and wasm examples with comprehensive test suites 2026-01-23 14:44:44 +10:00
components Firewall: Extend ICMP module functionality (#253) 2026-03-13 17:50:56 +11:00
dep deps: update sDDF 2026-03-24 11:26:45 +10:00
examples deps: update sDDF 2026-03-24 11:26:45 +10:00
include/lions Firewall: Extend ICMP module functionality (#253) 2026-03-13 17:50:56 +11:00
lib libc: fix multithreaded builds 2026-03-24 11:26:45 +10:00
LICENSES Use vendored versions of floating point runtime library 2025-09-08 17:15:48 +10:00
.gitignore Add firewall example to LionsOS 2025-09-04 18:53:12 +10:00
.gitmodules Add WAMR submodule 2026-01-23 14:44:44 +10:00
flake.lock Update to latest sDDF/Microkit/sdfgen 2026-02-11 15:38:32 +10:00
flake.nix Update to latest sDDF/Microkit/sdfgen 2026-02-11 15:38:32 +10:00
LICENSE Add LICENSE file 2024-03-27 18:32:29 +11:00
LICENSE.md Add license headers for REUSE 2024-09-27 10:22:52 +10:00
README.md README: make it clear that LionsOS is not finished 2024-10-29 17:52:44 +11:00

README.md

The Lions Operating System

This is the source code for LionsOS, an operating system based on the seL4 microkernel using the seL4 Microkit.

LionsOS is aimed at embedded, IoT and cyberphysical systems and is designed to be formally verifiable, adaptable to a wide class of use cases in the target domain, while at the same time setting the benchmark for performance of microkernel-based operating systems. We aim to achieve all three goals by a highly modular yet ruthlessly performance-oriented design and strict adherence to the time-honoured KISS principle.

LionsOS and its verification story are under active research and development.

For more information, see the website.