aboutsummaryrefslogtreecommitdiff
path: root/Pintos.wiki
diff options
context:
space:
mode:
authorHugo Hörnquist <hugo@lysator.liu.se>2020-08-31 15:43:40 +0200
committerHugo Hörnquist <hugo@lysator.liu.se>2020-08-31 15:43:40 +0200
commit089b956d1f61ab839492ed0bb3e0c5e5391c81b0 (patch)
treee9152aaeb82a6419fb6dbc2a622c51a7f51920ad /Pintos.wiki
parentTue, 04 Aug 2020 01:45:20 +0200 (diff)
downloadwiki-public-089b956d1f61ab839492ed0bb3e0c5e5391c81b0.tar.gz
wiki-public-089b956d1f61ab839492ed0bb3e0c5e5391c81b0.tar.xz
Mon, 31 Aug 2020 15:43:40 +0200
Diffstat (limited to 'Pintos.wiki')
-rw-r--r--Pintos.wiki1
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