search

moroso / kernel

The kernel for the Moroso project.
0 stars 1 forks source link

Interrupts in userspace #4

Open amwatson opened 9 years ago

amwatson commented 9 years ago

We need some way for device interrupts to be delivered from the kernel to the relevant user servers via IPC. This is probably a meaty task, with a decent amount of design (I recommend referring to MINIX3)

amwatson commented 9 years ago

I have a setup that works in the constrained case. At some point, I'll go back and do some good design