Implement threaded irq in user space by IPC and provide example test case for this feature

f9micro / f9-kernel

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

Other

680 stars 145 forks source link

Implement threaded irq in user space by IPC and provide example test case for this feature #113

Closed georgekang closed 9 years ago

jserv commented 9 years ago

@slpbaby: Can you verify it on STM32F429i Discovery?

@georgekang: Since it is a foundational change, I would like to treat it as the framework to enable user-level IRQs along with the minimized platform specific integrations.

slpbaby commented 9 years ago

Okay.

jserv commented 9 years ago

Merge userspace IRQ handler first and then verify all supported platforms. Wait for @slpbaby's STM32F429 porting progress.