A micro-kernel-based multiserver file system and development environment (1999)

by Volkmar Uhlig
Venue:Section 4.1: Unspecific EOI might actually work in the PIC's