hardenedlinux / chibaLinks
The framework for next generation data center.
☆29Updated 5 months ago
Alternatives and similar repositories for chiba
Users that are interested in chiba are comparing it to the libraries listed below
Sorting:
- Collection of community-maintained components for Genode☆50Updated last week
- ☆44Updated 2 years ago
- Shell into a virtualized linux, with your own tools☆167Updated last week
- Tool for streamlining the development of Genode applications☆30Updated this week
- 32-bit RISC-V Emulator☆26Updated 6 years ago
- Fast edit-compile-test cycles for Linux+OpenZFS development☆32Updated last month
- libdtrace-ctf is the Compact Type Format library used by DTrace on Linux☆48Updated 2 years ago
- System initialization firmware for Power systems☆78Updated this week
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆33Updated 4 years ago
- Bootstrapping tools for Janneke's MES☆36Updated 3 months ago
- The Nix community RFCs☆17Updated 2 years ago
- Create full netboot images in 15 seconds.☆54Updated 4 years ago
- Kexec into an in-memory emergency system☆33Updated 3 years ago
- Nix package manager port for the FreeBSD Ports Collection☆53Updated 3 years ago
- TLS Shell☆29Updated 6 years ago
- OpenBSD PF Firewall Hardening☆10Updated 4 years ago
- DTrace-utils contains the DTrace port to Linux☆178Updated this week
- Simple NixOS-like Docker containers with declarative config☆23Updated 3 years ago
- Capability Distribution Language tools for seL4☆38Updated 2 months ago
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/depthcharge/. We don't handle pull requests.☆27Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆41Updated this week
- Sail code model of the CHERIoT ISA☆48Updated this week
- Send nixpkgs tarballs to Software Heritage [maintainer=@nlewo]☆36Updated 3 months ago
- ☆18Updated 2 years ago
- ☆33Updated 4 years ago
- iPXE image for Nix builders on Equinix Metal's Spot market.☆50Updated last year
- NixOS on the HiFive Unmatched☆100Updated 2 years ago
- GCC patched to build illumos, including the patches from Codesourcery/Sun Microsystems used in the 3.4.3 and 4.3.3 shipped with Solaris☆27Updated last year
- a next‐generation free software build system☆28Updated 4 years ago
- view based o.s.☆47Updated 3 months ago