seL4 / refos-manifest
Reference Operating system based on seL4 --- example code
☆21Updated 4 years ago
Alternatives and similar repositories for refos-manifest:
Users that are interested in refos-manifest are comparing it to the libraries listed below
- The sources to compile Ravenports buildsheets☆16Updated this week
- NOVA userland☆48Updated 11 years ago
- Library for getting information about running processes☆11Updated 8 years ago
- Linux Kernel Lua Scripting Engine☆64Updated 8 years ago
- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.☆10Updated 10 months ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- ☆17Updated 9 years ago
- BSD-licensed CTF Implementation☆20Updated 9 years ago
- A small suite of scripts and patches for building musl libc cross compilers.☆35Updated 9 years ago
- Scripts to bootstrap a build environment for LightCube OS using musl libc☆17Updated 9 years ago
- A better client network manager. https://skarnet.org/software/bcnm/☆17Updated 2 months ago
- Filesystem utility library and SDK☆26Updated 7 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- Portable Event Library☆17Updated 2 months ago
- Out-of-tree version of Linux' kconfig tool☆14Updated 6 months ago
- The Akaros operating system☆41Updated 4 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆44Updated 8 months ago
- ☆12Updated 5 years ago
- The goal of the Toybox project is to create simple implementations of all the important Linux command line utilities. This repo is mirror…☆125Updated 8 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 5 years ago
- K42 Kernel☆24Updated 12 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- The well-known pager, with performance improvements for huge files☆13Updated 10 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- dmake - formerly used by openoffice.org☆15Updated last year
- ☆52Updated 10 years ago
- Korn Shell (93v- 2014-12-24 or greater) Debugger☆36Updated 6 months ago
- Unix process tree☆15Updated 10 years ago
- an experimental distribution based on musl libc and busybox☆12Updated 6 years ago