From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <f7f9914e6eadef657c89bce855e9ef5d@vitanuova.com>
Date: Thu,  1 Jun 2006 17:32:44 +0100
From: rog@vitanuova.com
To: 9fans@cse.psu.edu
Subject: Re: [9fans] this is not an advocacy question
In-Reply-To: <05be8df73958d09d953a007504be9937@vitanuova.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: 58d4fbfc-ead1-11e9-9d60-3106f5b1d025

i wrote:
> the bits aren't in the current inferno distribution.
> i can send you (or anyone else that wants) the files necessary.

i've put them on sources in /contrib/rog/infauth.
it contains the various extra bits that i use to give myself a standalone
inferno on a USB keyfob (or whereever) with keys not held in the clear,
and an implementation of 9cpu.