The following directions allow for network install of Red Hat on AlphaBook1.

From off of gatekeeper.dec.com, retrieve:

	pub/DEC/Linux-Alpha/Kernels/ab1-boot.img
	pub/DEC/Linux-Alpha/Kernels/ab1-cpio.img

Create two floppies, one from each of the above files, by simply (eg):

	dd if=ab1-boot.img of=/dev/fd0H1440 bs=10240

Create the standard Red Hat distribution installation RAMdisk as per their
instructions, from off the CD.

Mount the installation CD on the FTP or NFS server that you'll be connecting
to, noting its IP address for use later.

Have an IP address, name, and domain ready for the AlphaBook1.

Now, begin:

1. insert the kernel boot floppy (made from ab11-boot.img) and type:

    >>> b dva0 -file vmlinux.gz -flags "load_ramdisk=1 root=/dev/fd0"

2. insert the standard Red Hat 4.2 RAMdisk floppy when asked to

3. proceed through the standard first few screens of the install, until
   you arrive at the "Installation Method" screen

4. hit Ctrl-z to get a shell prompt at the bottom of the screen

5. at the shell prompt, type in the following lines:

	cd /dev
	mknod fd0 b 2 0
	mknod ram1 b 1 2
	mke2fs -m0 /dev/ram1 4000
	mkdir /aux
	mount /dev/ram1 /aux
	cd /aux

6. insert the cpio floppy (made from ab1-cpio.img) and type in:

	gzip -d -c </dev/fd0 | cpio -i -d

7. execute the auxiliary setup script by typing:

	sh ./install.sh

8. "cardmgr" is the last thing done in the script, so you'll see a couple
   of blank lines get printed when its running.

9. stuff the PCMCIA Ethernet card in; you should hear a couple of beeps
   as "cardmgr" gets activated and installs the appropriate module. You will
   then see a couple of "not found" messages, which seem to be benign... :-)

   NOTE: I've only tried this with a 3COM Etherlink III card which uses
         the 3c589_cs.o module; YMMV if you use something else. Check what
         modules are present by looking in /aux/lib/modules/2.0.29/pcmcia
	 after step 6 above.

10. Re-activate the RH install screen (type in "exit") and continue
    the installation, using either the FTP or NFS options.

    NOTE: if everything is working, you should *NOT* get to a screen which
          asks which Ethernet module you want to install; this should already
          have been taken care of by "cardmgr" and the install should just
          go on to ask particulars about network addresses and such. Use the
          IP number for the FTP/NFS server, not the name.