G4mh add serial/printf support and fix a context switch issue

TrampolineRTOS / trampoline

Trampoline is a static RTOS for small embedded systems. Its API is aligned with OSEK/VDX OS and AUTOSAR OS 4.2 standards.

GNU General Public License v2.0

599 stars 263 forks source link

G4mh add serial/printf support and fix a context switch issue #156

Closed fsylvestre closed 7 months ago

fsylvestre commented 7 months ago

Add serial/printf support for g4mh based on the common driver used also by cr52 on spider board Fix a context switch issue: During the IRQ context switch the SP of the calling task was not correctly updated in the kernel structures.

RICCIARDI-Adrien commented 7 months ago

Looks good to me.