littlekernel / lkLinks
LK embedded kernel
☆3,382Updated this week
Alternatives and similar repositories for lk
Users that are interested in lk are comparing it to the libraries listed below
Sorting:
- The seL4 microkernel☆5,008Updated this week
- Read-only mirror of Trusted Firmware-A☆2,085Updated this week
- Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is a…☆3,055Updated this week
- Application Binary Interface for the Arm® Architecture☆1,089Updated 2 weeks ago
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,226Updated last year
- "Das U-Boot" Source Tree☆4,521Updated last week
- Linux-based partitioning hypervisor☆1,834Updated last year
- Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.☆3,212Updated last month
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,240Updated 9 months ago
- toybox☆2,635Updated last week
- The historical uIP sources☆938Updated 8 years ago
- picolibc - a C library designed for embedded 32- and 64- bit systems.☆1,354Updated this week
- A versatile (cross-)toolchain generator.☆2,306Updated last week
- Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems☆690Updated this week
- The Elixir Cross Referencer☆1,074Updated last week
- Main development repository for TinyOS (an OS for embedded, wireless devices).☆1,451Updated last year
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆693Updated 5 years ago
- All CPU and MCU documentation in one place☆1,944Updated 2 years ago
- Modular and configurable OS for embedded applications☆1,406Updated this week
- BareMetal is a 64-bit OS for x86-64 based computers. The OS is written entirely in Assembly while applications can be written in Assembly…☆1,748Updated 7 years ago
- Devicetree Specification document source files☆965Updated last month
- PicoTCP is a free TCP/IP stack implementation☆1,255Updated last year
- Minoca operating system☆2,752Updated 3 years ago
- Apache NuttX is a mature, real-time embedded operating system (RTOS)☆3,397Updated this week
- The lcc retargetable ANSI C compiler☆2,142Updated 9 months ago
- Xvisor: eXtensible Versatile hypervISOR☆580Updated last month
- TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.☆3,267Updated 6 years ago
- Project ACRN hypervisor☆1,212Updated last month
- Read-only mirror of https://review.coreboot.org/coreboot.git. Synced every hour. We don't handle Pull Requests.☆2,390Updated this week
- A little fail-safe filesystem designed for microcontrollers☆5,973Updated last week