Skip to content

Commit 6f12def

Browse files
committed
Add multi core guest to default mythril.cfg
1 parent bfdc285 commit 6f12def

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

scripts/mythril.cfg

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,13 @@
1414
"kernel": "kernel",
1515
"initramfs": "initramfs",
1616
"cmdline": "earlyprintk=serial,0x3f8,115200 console=ttyS0 debug nokaslr root=/dev/ram0"
17+
},
18+
{
19+
"memory": 512,
20+
"cpus": [2, 3],
21+
"kernel": "kernel",
22+
"initramfs": "initramfs",
23+
"cmdline": "earlyprintk=serial,0x3f8,115200 console=ttyS0 debug nokaslr root=/dev/ram0"
1724
}
1825
]
1926
}

0 commit comments

Comments
 (0)