f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
683 stars 145 forks source link

user thread listing is absent when compiled with -O0 #31

Closed jserv closed 11 years ago

jserv commented 11 years ago

How to reproduce:

Reference output:

-------THREADS------
type  global   local    state  parent
IDLE  00000000 00000000 RUN    00000000
ROOT  00008000 00000000 SEND   00000000
KERN  00004000 00000000 RUN    00000000
----------------