Creating a bootMonitor Diskette

For details about how bootMonitor works, see bootMonitor(1M).

1. Create a directory where you will build a bootMonitor image:

   $ mkdir bootmon $ cd bootmon

   ---

   Note -

   This directory is different from build_dir, the directory where you build the system image.

   ---

2. Configure the bootmon directory based on the binary distribution:

   $ configure -b $DIR/kernel \ -s $DIR/src/nucleus/bsp \ $DIR/src/nucleus/bsp/x86/pc \

3. Generate the environment:

   $ make

4. Edit the special mini profile, bootmon/conf/mini, so that it reads:

   #
   #	Mini Profile
   #
   
   #
   #	Microkernel features
   #
   -set USER_MODE=false
   -set POSIX_SHM=false # add manually
   -set VIRTUAL_ADDRESS_SPACE=false
   -set SEM=false
   -set EVENT=false
   -set MONITOR=false
   -set TIMER=false
   -set DATE=false
   -set RTC=false
   -set PERF=false
   -set IPC=false
   -set MIPC=false
   -set LAPBIND=true # Change this from 'false' to 'true'
   -set LAPSAFE=true # Change this from 'false' to 'true'
   -set MON=false
   -set LOG=false

5. Configure the environment for bootMonitor:

   $ configurator -p conf/mini $ configurator -set LOADER=lilo $ configurator -setenv BOOTCONF=RARP

   ---

   Note -

   For details about the BOOTCONF environment variable and available options, see the bootConfig(1M) and bootAgent(1M) man pages.

   ---

6. (Optional) Configure the environment for any ISA Ethernet adapters on the target system.

   See Step 6 of the procedure "To Build the System Image" for examples on how to configure the environment for different adapters.

7. Build a bootMonitor image:

   $ make bootMonitor

   The resulting image file is located in the directory bootmon, and is called bootMonitor.image.

8. Copy the bootMonitor image to a diskette:

   $ su Password: superuser_password # /etc/init.d/volmgt stop # fdformat -v /dev/fd0 Formatting 1.44 MB in /dev/rfd0 Press return to start formatting floppy. ................................................... vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv # cp bootMonitor.image /dev/fd0 # /etc/init.d/volmgt start volume management starting. # eject /vol/dev/rdiskette0/unlabeled can now be manually ejected # exit