3 qemuopts
="-hda obj/kernel.img"
12 text
="6828 decimal is 15254 octal!"
13 if grep "$text" jos.out
>/dev
/null
22 args
=`grep "ebp f01.* eip f0100.* args" jos.out | \
23 sed 's/^ *[0-9]*://' | \
25 cnt
=`echo $args | grep '^00000000 00000000 00000001 00000002 00000003 00000004 00000005' | wc -w`
34 cnt
=`grep "ebp f01.* eip f0100.* args" jos.out | \
35 sed 's/^ *[0-9]*://' | \
36 awk 'BEGIN { FS = ORS = " " }
38 END { printf("\n") }' | grep '^00000000 00000000 00000001 00000002 00000003 00000004 00000005' | wc -w`
40 if [ $cnt -eq 8 ]; then
46 syms
=`$cxxfilt < jos.out | grep "kern/init.c:[0-9]*: *test_backtrace[(+]"`
47 symcnt
=`$cxxfilt < jos.out | grep "kern/init.c:[0-9]*: *test_backtrace[(+]" | wc -l`
49 if [ $symcnt -eq 6 ]; then
51 elif [ $symcnt -eq 0 ]; then
52 fail
"found no symbols"
54 fail
"found wrong symbols ($syms)"