- if using it to boot, mount the flash device at /tmp/<partition>
authorMark Huang <mlhuang@cs.princeton.edu>
Tue, 21 Jun 2005 21:21:39 +0000 (21:21 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Tue, 21 Jun 2005 21:21:39 +0000 (21:21 +0000)
commit49336376d52f422a1944cfd51ed1335876358991
tree2665211279c6284751710cabaa31efc1dec5fd83
parent9fb968417f6557979830b3e058a8c74a1e081148
- if using it to boot, mount the flash device at /tmp/<partition>
  instead of trying to be clever and temporarily mounting it at
  /usr. Being clever confuses "mount /usr" in BootServerRequest.py,
  causing it to re-mount the FAT filesystem a third time on top of /usr
  instead of leaving it alone as already mounted.
conf_files/pl_sysinit