M5p01_muprokaron
A tiny real-time kernel focusing on formal reliability and simplicity.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Rt Thread | 9,221 | 3 months ago | 251 | apache-2.0 | C | |||||
| RT-Thread is an open source IoT real-time operating system (RTOS). | ||||||||||
| Qpc | 824 | 4 months ago | 5 | other | C | |||||
| QP/C Real-Time Embedded Framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines | ||||||||||
| F9 Kernel | 563 | 4 years ago | 32 | other | C | |||||
| An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4 | ||||||||||
| 0xtools | 484 | 4 months ago | 10 | gpl-2.0 | Python | |||||
| 0x.Tools: Always-on Profiling for Production Systems | ||||||||||
| Cheekyblinder | 338 | a year ago | 4 | C++ | ||||||
| Enumerating and removing kernel callbacks using signed vulnerable drivers | ||||||||||
| Wastedcores | 304 | 6 years ago | 5 | |||||||
| Rtthread Manual Doc | 302 | 2 years ago | ||||||||
| RT-Thread Programming Manual in English | ||||||||||
| Uthreads | 286 | 4 years ago | 15 | other | C++ | |||||
| A concurrent user-level thread library implemented in C++ | ||||||||||
| Fasthax | 169 | 7 years ago | 5 | C | ||||||
| 3DS Kernel Exploit <= 11.2 | ||||||||||
| M5p01_muprokaron | 148 | 5 years ago | 2 | unlicense | C | |||||
| A tiny real-time kernel focusing on formal reliability and simplicity. | ||||||||||
Alternatives To M5p01_muprokaronSelect To Compare
Alternative Project Comparisons
Popular Kernel Projects
Popular Thread Projects
Popular Operating Systems Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Kernel
Thread
Led
Microcontroller