StuBS
|
Files | |
file | gate.h |
Class Gate (Device interrupt handling) | |
file | guard.h |
Guard synchronizes access to epilogue level | |
file | guarded.h |
Guarded, an interface to secure critical sections | |
file | handler.h |
interrupt_handler() Interrupt handler | |
file | plugbox.h |
Plugbox allows assigning devices to interrupt vectors | |