diff options
| -rw-r--r-- | Pintos.wiki | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Pintos.wiki b/Pintos.wiki index feddc40..a9ebe1a 100644 --- a/Pintos.wiki +++ b/Pintos.wiki @@ -33,6 +33,7 @@ pintos --qemu -p local-file -a file-in-pintos -- -q pintos --qemu --gdb -- run printf pintos-gdb src/userprog/build/kernel.o (gdb) target remote localhost:1234 +(gdb) continue }}} ttps://www.ida.liu.se/~TDDB68/labs/Lab1.pdf |