littlekernel / lkLinks
LK embedded kernel
☆3,470Updated last 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,111Updated this week
- Read-only mirror of Trusted Firmware-A☆2,113Updated this week
- Linux-based partitioning hypervisor☆1,874Updated last year
- The historical uIP sources☆1,043Updated 8 years ago
- Application Binary Interface for the Arm® Architecture☆1,133Updated 3 weeks ago
- toybox☆2,908Updated this week
- Trusted side of the TEE☆1,771Updated last week
- A versatile (cross-)toolchain generator.☆2,372Updated last month
- Minoca operating system☆2,757Updated 3 years ago
- The Elixir Cross Referencer☆1,110Updated this week
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆701Updated 5 years ago
- 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,250Updated last year
- picolibc - a C library designed for embedded 32- and 64- bit systems.☆1,417Updated last week
- All CPU and MCU documentation in one place☆1,961Updated 2 years ago
- Modular and configurable OS for embedded applications☆1,425Updated last week
- Main development repository for TinyOS (an OS for embedded, wireless devices).☆1,471Updated 2 years ago
- Eclipse ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.☆3,286Updated 3 weeks ago
- The lcc retargetable ANSI C compiler☆2,178Updated last year
- Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is a…☆3,181Updated this week
- Xvisor: eXtensible Versatile hypervISOR☆589Updated last month
- Official MINIX sources - Automatically replicated from gerrit.minix3.org☆3,319Updated last year
- PicoTCP is a free TCP/IP stack implementation☆1,273Updated 2 years ago
- ext2/ext3/ext4 filesystem library for microcontrollers☆547Updated last year
- A Tiny Linux-Compatible Kernel☆2,996Updated 3 weeks ago
- Devicetree Specification document source files☆995Updated 4 months ago
- "Das U-Boot" Source Tree☆4,717Updated this week
- Higher level programming in C☆7,042Updated 10 months ago
- Build a minimal multi-tasking OS kernel for ARM from scratch☆1,175Updated 3 years ago
- A minimal, resource efficient unikernel for cloud services☆5,167Updated this week
- Raspberry Pi ARM based bare metal examples☆2,774Updated 2 years ago