diff options
Diffstat (limited to 'Pintos.wiki')
-rw-r--r-- | Pintos.wiki | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Pintos.wiki b/Pintos.wiki index a9ebe1a..a690187 100644 --- a/Pintos.wiki +++ b/Pintos.wiki @@ -1,3 +1,5 @@ +pintos --qemu -m 128 -- run "recursor_ng pintosmaster 6 1" + Omregga inte i webreg Typ på torsdag |