glguida / nuxLinks
A portable kernel/userspace development framework
☆17Updated 8 months ago
Alternatives and similar repositories for nux
Users that are interested in nux are comparing it to the libraries listed below
Sorting:
- Auxiliary library for kernel development☆30Updated 2 years ago
- Very minimalistic UEFI boot menu / kernel bootloader☆31Updated 3 months ago
- Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI☆30Updated last month
- My coreboot work☆23Updated 14 years ago
- Self-hosting C toolchain, from scratch☆36Updated 7 months ago
- gcc wrapper and libc for creating tiny (200-byte) Linux i386 executables☆15Updated 2 years ago
- A small arm/x86(-64) libc☆90Updated 3 months ago
- x86 assembler in 512 bytes of x86 machine code☆35Updated 5 years ago
- Tiny and portable device tree parser, written in C.☆19Updated 8 months ago
- The UNIX System V Release 4 source code (i386)☆51Updated 4 months ago
- A bare-bones minimal executable application for efi on the x64 platform☆56Updated 2 years ago
- Mach kernel from 1986☆17Updated 6 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- A UNIX-like OS targeting AMD64 compatible processors☆16Updated 3 years ago
- BSD compatibility library (mirror)☆14Updated 2 months ago
- Implementation of the VMem Resource Allocator☆16Updated 2 years ago
- small embeddable C-style preprocessor☆42Updated 2 years ago
- Collection of 0BSD-licensed freestanding C headers for GCC and Clang.☆25Updated last month
- A Simple Archive Format☆10Updated 4 years ago
- Attempting to self-host with a high level compiler☆12Updated 3 years ago
- The core components of the L4Re operating system.☆93Updated last week
- My working copy of tinycc made reentrant☆28Updated 2 years ago
- A minimal, resource-friendly syslog daemon for embedded Linux☆26Updated 2 years ago
- Freestanding libelf extracted from elfutils☆40Updated 5 months ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆19Updated 8 years ago
- KOS (Kay-OS) Operating System 400☆24Updated 3 weeks ago
- A simple Hello World for x86_64 UEFI using fasmg☆26Updated 9 years ago
- i440fx BIOS source code intended for Bochs☆14Updated last week
- Sled System Emulator☆28Updated 5 months ago
- huang's c compiler - a tiny C99 compiler.☆23Updated last year