diff options
author | Hugo Hörnquist <hugo@lysator.liu.se> | 2020-09-12 10:30:14 +0200 |
---|---|---|
committer | Hugo Hörnquist <hugo@lysator.liu.se> | 2020-09-12 10:30:14 +0200 |
commit | bc89728ff71d5d58220a8df521910a737c03d4f2 (patch) | |
tree | ea11d736f52250dd100775983fec1b73afdbb87b /Pintos.wiki | |
parent | Mon, 31 Aug 2020 23:46:45 +0200 (diff) | |
download | wiki-public-bc89728ff71d5d58220a8df521910a737c03d4f2.tar.gz wiki-public-bc89728ff71d5d58220a8df521910a737c03d4f2.tar.xz |
Sat, 12 Sep 2020 10:30:14 +0200
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 |