kernel: do not drop RAM caps
[barrelfish] / tools / debugsim.sh
1 #!/bin/bash
2 #
3 # Example script to always start debugging the first copy of the
4 # kernel image when using the simulator. Also loads symbols of a
5 # process.
6 #
7 # Copy this to your build directory and execute as:
8 # make debugsim GDB_ARGS='-x `./debugsim.sh`'
9
10 OUTPUT=debugsim.gdb
11
12 get_section_start ()
13 {
14         objdump -h $2 | awk "\$2 == \"$1\"{ print \$4 }"
15 }
16
17 cat > $OUTPUT <<EOF
18 debug_kernel_at x86_64/sbin/cpu 0xffffff8004362000
19 add-symbol-file x86_64/sbin/arrakismon 0x`get_section_start .text x86_64/sbin/arrakismon`
20 info threads
21 EOF
22
23 echo $OUTPUT