Giters

f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

busfault when root_thread is mapping threads.

ahmedammar opened this issue · comments

commented

I don't know why this doesn't hit the STM32F4 but when bringing up the K10 I was hitting busfaults during L4_Map, the code in root_thread.c calls L4_Map before a stack has been set for given thread. So, do_ipc should not try to dereference a non-existing stack pointer. My guess with the STM is that the busfault is being treated as a memfault and being handled by the memmanage_handler (incorrectly).