FreeRTOS-Kernel
unikraft
Our great sponsors
| FreeRTOS-Kernel | unikraft | |
|---|---|---|
| 12 | 2 | |
| 2,332 | 18 | |
| 5.7% | - | |
| 9.4 | 2.4 | |
| 7 days ago | 11 months ago | |
| C | C | |
| MIT License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
FreeRTOS-Kernel
-
what do people usually do to separate/abstract platform dependent codes/files
Here is the port - https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/main/portable/ThirdParty/GCC/Posix
-
TI CC2630: Having trouble deciding Contiki vs TI-RTOS
Freertos has support for generic cortex m3: https://github.com/FreeRTOS/FreeRTOS-Kernel/tree/main/portable/GCC/ARM_CM3 It could very well work almost out of the box with your mcu.
-
Ted Ts'o: "As an OS engineer, I deeply despise these optimization tricks, since I personally I care about correctness and not corrupting user data far more than I care about execution speed"
the only OS written in iso c i found was RTOS and they have open bug reports due to strict aliasing in simple things like their linked list implementation, which they don't bother to fix because somehow that causes even more problems (?!): https://github.com/FreeRTOS/FreeRTOS-Kernel/pull/54
- HELP
-
Arduino or full featured RTOS?
You likely put the requirements of POSIX just to have an excuse. Fyi, FreeRTOS kernel, the only thing you need, is here: https://github.com/FreeRTOS/FreeRTOS-Kernel/
- Ask HN: Examples of Microkernels?
-
Ask HN: Embedded Projects to Learn From?
- https://github.com/FreeRTOS/FreeRTOS-Kernel (architecture, C)
-
Nutshell custom memory allocators for me
FreeRTOS comes with 5 quite simple reference implementations of the heap memory allocator. You can study how it works.
-
Using FreeRTOS and dual core RP2040
The main branch is single-core. You're looking for the SMP branch.
-
C programmers scare me
On non-POSIX systems, malloc & free are implemented differently. EG FreeRTOS has some very simple malloc (and optionally free) implementations, eg heap_2.c (has malloc & free, but doesn't consolidate blocks), or heap_4.c (more complex, tries to prevent fragmentation by consolidating blocks, still less optmized & simpler than the glibc malloc/free used by most Linux systems).
unikraft
-
Ask HN: Examples of Microkernels?
It seemed to be in a similar space to Genode when I had a brief look. Is it clear how it compares?
A system that claims to allow you to configure it in microkernel and other modes might be interesting for comparison of the approaches, but I've only noticed it via a local connexion: https://project-flexos.github.io/
-
Unikraft is a fast, secure and open-source Unikernel Development Kit
Thanks for the feedback, we're in the process of adding a security section[0] which will detail more on the on-goings, but we'll work on adding more highlights on the main page.
I need to highlight we have separate research[1][2] which will make its way upstream soon which aims to provide hardening between internal libraries (e.g. isolating the network stack or scheduler) using gates like Intel MPK or separate hardware-accelerated services.
[0]: https://github.com/unikraft/docs/pull/32
[1]: https://project-flexos.github.io/
[2]: https://github.com/project-flexos/unikraft
What are some alternatives?
zephyr - Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
qubes-mirage-firewall - A Mirage firewall VM for QubesOS
RIOT - RIOT - The friendly OS for IoT
nanos - A kernel designed to run one and only one application in a virtualized environment
mbed-os - Arm Mbed OS is a platform operating system designed for the internet of things
docs - The front page and documentation for the Unikraft Open-Source Project.
mongoose-os - Mongoose OS - an IoT Firmware Development Framework. Supported microcontrollers: ESP32, ESP8266, CC3220, CC3200, STM32F4, STM32L4, STM32F7. Amazon AWS IoT, Microsoft Azure, Google IoT Core integrated. Code in C or JavaScript.
app-click - Click Modular Router on Unikraft
nuttx - Apache NuttX is a mature, real-time embedded operating system (RTOS)
click - The Click modular router: fast modular packet processing and analysis
TizenRT - TizenRT is a lightweight RTOS-based platform to support low-end IoT devices
app-llama2-c - Llama 2 Everywhere (L2E)