cmrx
cmrx copied to clipboard
ventZl
C Microkernel Realtime eXecutive
Add quirk, which patches pico-sdk to make it suitable to boot bare CMRX kernel.
As the development and automated testing runs entirely on Linux, sometimes an action hostile towards decision made in Microsoft is taken by the build system. Currently, such action is that...
This set of patches adds support for working with floating point from within userspace running under CMRX. Lazy loading of FP context is used to speed up exception processing. FP...
Currently, the M4 support is limited to systems that use the soft FP libraries only. Is it possible to update the context switching macros/functions to support devices that use the...
The vendor supplied linker scripts do not always include a LF or CR at the end of the file: https://github.com/STMicroelectronics/cmsis-device-h5/blob/5273b8f134ba65f5b8174c4141b711b5c0d295b2/Source/Templates/gcc/linker/STM32H533xx_FLASH.ld In this case the genlink_cmsis.py fails in `def sub_range(self, begin...
The kernel will panic and start doing weird stuff ending up in ASSERT() inside thread switching machinery if thread quits normally. Reproduction steps: Define an application autostart thread: ` int...
I'm working on trying CMRX for a simple blinky example for the MAX32690FTHR board. I am at the stage where the CMRX aware linker script has to be generated from...
Improve genlink-cmsis.py script so it can parse linker scripts provided as part of MAX32690 MCU and generate CMRX-aware version of it.
Part of the build system duties is to generate includes for the main linker script. This is a two-phase process: First, the linker script is updated to contain include directives...
Kernel itself is theoretically multicore-aware. There is an option to turn SMP support on and much of the kernel should, at least theoretically, be SMP capable. The thread switching logic...