littlekernel / lkuserLinks
framework for a simple user space for lk
☆24Updated 3 years ago
Alternatives and similar repositories for lkuser
Users that are interested in lkuser are comparing it to the libraries listed below
Sorting:
- Calcium OS project for x86_64☆40Updated 7 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated this week
- UEFI boot loader☆80Updated 3 years ago
- ELF to bFLT (binary flat) converter for no-mmu Linux targets☆78Updated last year
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- Hacked up version of the Tiny C Compiler with basic ARM Thumb output☆28Updated 10 months ago
- pico]OS realtime operating system☆66Updated 4 years ago
- rpi-internal-registers☆41Updated 6 years ago
- Mirror of git.qemu.org/seabios.git☆68Updated last week
- UEFI, on Loongson.☆14Updated 9 years ago
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- ☆33Updated last year
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/vboot_reference. We don't handle pull requests.☆38Updated last week
- Open-source, Thread-safe, Embedded, FAT file-system.☆22Updated 11 years ago
- Linux kernel patch static verification tool☆25Updated this week
- A quick port of lwIP running on top of BareMetal.☆144Updated 7 years ago
- DISCONTINUATION OF PROJECT. This project will no longer be maintained by Intel. Intel will not provide or guarantee development of or s…☆37Updated 3 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆34Updated last week
- Mirror of git.qemu.org/openbios.git☆23Updated 11 months ago
- Small UNIX-like Real Time Operating System based on FreeRTOS kernel.☆17Updated 3 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder☆40Updated 2 weeks ago
- minimal libc☆20Updated 13 years ago
- ☆22Updated 12 years ago
- myLinux is an embedded operating system based on Buildroot and Finit☆85Updated last year
- Bootrom☆16Updated 9 years ago
- A simple Hello World for x86_64 UEFI using fasmg☆26Updated 9 years ago
- Codezero Microkernel☆109Updated 3 years ago
- ☆51Updated 7 years ago
- Mali-400 kernel drivers for external compilation for use with linux-sunxi kernel.☆23Updated 12 years ago
- An embedded operating system kernel☆15Updated 8 years ago