From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <015101c2de48$abc65a70$c901a8c0@cc77109e> From: "Bruce Ellis" To: <9fans@cse.psu.edu> References: Subject: Re: [9fans] device drivers and the live loader MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Date: Thu, 27 Feb 2003 21:11:56 +1100 Topicbox-Message-UUID: 744c4f6c-eacb-11e9-9e20-41e7f4b1d025 > While we're on the subject of devices, how are > we doing on (un)loadable device drivers? Wasn't > someone working on that? I did it for Research Inferno. Works well. You'll find that 5l and el have the right options. I did 8l first but it ain't in the tree. brucee