virtualsquare / vuos
view based o.s.
☆32Updated 3 months ago
Related projects: ⓘ
- Collection of community-maintained components for Genode☆45Updated this week
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆47Updated 2 years ago
- usand - convenient and minimal unshare(1)-based sandbox☆57Updated 3 years ago
- Official mirror of the Muen Separation Kernel repository☆80Updated last week
- The Akaros operating system☆41Updated 4 years ago
- An open-source Unix operating system☆28Updated this week
- Painless Network-Transparent Network Boot with 9P☆61Updated 8 months ago
- a Plan 9-like system based using tamago☆13Updated 11 months ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆22Updated 5 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆84Updated this week
- C string library based on string ends☆17Updated 2 months ago
- Manipulate tar file metadata, list tar files or convert tar to cpio. For some projects, this can replace fakeroot and cpio, when creating…☆31Updated last month
- A glibc overlay library for process self-virtualization☆11Updated 4 months ago
- ☆33Updated last year
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆35Updated last year
- Peephole optimizer for cproc and QBE☆22Updated 2 years ago
- Tool for streamlining the development of Genode applications☆20Updated last week
- VDE: Virtual Distributed Ethernet. Plug your VM directly to the cloud.☆31Updated last year
- Enabling continuous integration for patch-based development workflows.☆78Updated 5 months ago
- Reference manual for the Genode OS Framework☆23Updated 2 weeks ago
- libslirp for Linux made easy peasy☆25Updated 8 months ago
- sel4 benchmarking applications and support library.☆18Updated 2 months ago
- [WIP] A complex of daemons for FreeBSD implementing systemd/freedesktop D-Bus APIs required by desktop environments | now on https://code…☆12Updated last year
- A synchronous, single-threaded interface for starting processes on Linux☆28Updated 2 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆17Updated this week
- Capability Distribution Language tools for seL4☆34Updated 2 months ago
- Fast edit-compile-test cycles for Linux+OpenZFS development☆20Updated this week
- FUSE-based 9P client from the Plan9 Port project, standalone version☆29Updated 9 months ago
- Convert ELF executables to DOS executables☆31Updated 5 years ago
- A simple syscall tracer☆17Updated 4 years ago