8.6 Miscellaneous Topics

8.6.1 Interrupt Source and ICU Abstractions

- struct isrc

- pic drivers

8.6.2 Other Random Questions/Topics

- Should we pass an interlock into sema_wait?

- Should we have non-sleepable sx locks?

- Add some info about proper use of reference counts.