diff options
Diffstat (limited to 'build/rootfs/init')
-rwxr-xr-x | build/rootfs/init | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/build/rootfs/init b/build/rootfs/init index faec9ad..523f260 100755 --- a/build/rootfs/init +++ b/build/rootfs/init @@ -6,6 +6,11 @@ # device files get their own filesystem devdir="/dev" + +mkdir -p /tmp +mkdir -p /sys +mkdir -p /proc + mount -n -t tmpfs -o 'size=25%,mode=0755' mdev ${devdir} mount -t tmpfs tmpfs /tmp mkdir -p /dev/pts @@ -92,7 +97,7 @@ cat /etc/issue #ntbdate time.uni-freiburg.de if [ $DEBUGLEVEL -ge 1 ]; then -echo "\$DEBUGLEVEL=$DEBUGLEVEL" > /tmp/debuglevel +echo "DEBUGLEVEL=$DEBUGLEVEL" > /tmp/debuglevel echo "starting debug shell: " /bin/sh fi |