23:14 <radens> Hello there! I'm trying to write a microkernel for the rpi 1b (BCM2835). One issue I'm having is with the interrupt controller. I would like eg the sdhost driver to live entirely in user land, so how do I acknowledge interrupts once the fire before returning to user space?

23:14 <radens> It looks like the interrupt pending registers on the weird broadcom interrupt controller are read only

23:14 <clever> radens: i think the way thats generally done, is to mask the interrupt, and then drop to userland

23:15 <clever> and once userland ack's things, you can unmask the irq

23:16 <radens> that makes sense thanks