search

f9micro / f9-kernel

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

ipc: do_ipc should not access thread context's stack pointer if not initialized. #83

Closed ahmedammar closed 10 years ago

ahmedammar commented 10 years ago

Fixes f9micro/f9-kernel#82