Device Drivers [4]

Random kernel bits

• `Bottom Half'


• Task queues


• Timers