BTW, I just discovered that the IWOOOS L3 paper and others are available in ftp.gmd.de:/gmd/os. The SOSP paper is also interesting (on super-fast IPC); I haven't read the others yet. Bryan