how to run xv6 on josmp, more-or-less

12a9d35e · Nickolai Zeldovich · 6a76ca71 · 12a9d35e
--- a/README.josmp
+++ b/README.josmp
+## To build and run xv6 on josmp:
+
+make HW=josmp
+make HW=josmp rsync
+
+ssh root@pdos ed /tftpboot/josmp/pxelinux.cfg <<EOM
+/^default /s/^/#/
+/^# *default xv6/s/^# *//
+wq
+EOM
+
+ssh root@josmp reboot
+
+---
+
+## To restore booting into local Linux:
+
+ssh root@pdos ed /tftpboot/josmp/pxelinux.cfg <<EOM
+/^default /s/^/#/
+/^# *default localboot/s/^# *//
+wq
+EOM
+
+ipmitool -I lanplus -A MD5 -H josmpadm -U ADMIN -P <password> power cycle
+