diff options
Diffstat (limited to 'dbg-bochs')
-rwxr-xr-x | dbg-bochs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dbg-bochs b/dbg-bochs new file mode 100755 index 0000000..f2ea8e9 --- /dev/null +++ b/dbg-bochs | |||
@@ -0,0 +1,13 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | export OSLAB_PATH=$(dirname `which $0`) | ||
4 | |||
5 | if [ ! -e "$OSLAB_PATH/hdc/umounted" ]; then | ||
6 | echo umount hdc first | ||
7 | sudo umount $OSLAB_PATH/hdc | ||
8 | if [ "$?" != "0" ]; then | ||
9 | exit | ||
10 | fi | ||
11 | fi | ||
12 | |||
13 | bochs -q -f $OSLAB_PATH/bochs/linux-0.11.bxrc | ||