forked from cartesi/docs
-
Notifications
You must be signed in to change notification settings - Fork 2
/
replacements.json
103 lines (103 loc) · 70.8 KB
/
replacements.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
{
"machine.host.lua.config-dump-ls-bin": "return {\n processor = {\n x = {\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n },\n iflags = 0x18, -- default\n ilrsc = 0xffffffffffffffff, -- default\n marchid = 0xc, -- default\n mcause = 0x0, -- default\n mcounteren = 0x0, -- default\n mcycle = 0x0, -- default\n medeleg = 0x0, -- default\n mepc = 0x0, -- default\n mideleg = 0x0, -- default\n mie = 0x0, -- default\n mimpid = 0x1, -- default\n minstret = 0x0, -- default\n mip = 0x0, -- default\n misa = 0x8000000000141101, -- default\n mscratch = 0x0, -- default\n mstatus = 0xa00000000, -- default\n mtval = 0x0, -- default\n mtvec = 0x0, -- default\n mvendorid = 0x6361727465736920, -- default\n pc = 0x1000, -- default\n satp = 0x0, -- default\n scause = 0x0, -- default\n scounteren = 0x0, -- default\n sepc = 0x0, -- default\n sscratch = 0x0, -- default\n stval = 0x0, -- default\n stvec = 0x0, -- default\n },\n ram = {\n length = 0x4000000,\n image_filename = \"/opt/cartesi/share/images/linux.bin\",\n },\n rom = {\n image_filename = \"/opt/cartesi/share/images/rom.bin\",\n bootargs = \"console=hvc0 rootfstype=ext2 root=/dev/mtdblock0 rw quiet swiotlb=noforce mtdparts=flash.0:-(root) -- ls /bin\",\n },\n htif = {\n tohost = 0x0, -- default\n fromhost = 0x0, -- default\n console_getchar = false, -- default\n yield_automatic = false, -- default\n yield_manual = false, -- default\n },\n clint = {\n mtimecmp = 0x0, -- default\n },\n flash_drive = {\n {\n start = 0x8000000000000000,\n length = 0x5000000,\n image_filename = \"/opt/cartesi/share/images/rootfs.ext2\",\n shared = false, -- default\n },\n },\n}\n\nCycles: 0\n",
"machine.host.lua.config-dump-nothing": "return {\n processor = {\n x = {\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n 0x0, -- default\n },\n iflags = 0x18, -- default\n ilrsc = 0xffffffffffffffff, -- default\n marchid = 0xc, -- default\n mcause = 0x0, -- default\n mcounteren = 0x0, -- default\n mcycle = 0x0, -- default\n medeleg = 0x0, -- default\n mepc = 0x0, -- default\n mideleg = 0x0, -- default\n mie = 0x0, -- default\n mimpid = 0x1, -- default\n minstret = 0x0, -- default\n mip = 0x0, -- default\n misa = 0x8000000000141101, -- default\n mscratch = 0x0, -- default\n mstatus = 0xa00000000, -- default\n mtval = 0x0, -- default\n mtvec = 0x0, -- default\n mvendorid = 0x6361727465736920, -- default\n pc = 0x1000, -- default\n satp = 0x0, -- default\n scause = 0x0, -- default\n scounteren = 0x0, -- default\n sepc = 0x0, -- default\n sscratch = 0x0, -- default\n stval = 0x0, -- default\n stvec = 0x0, -- default\n },\n ram = {\n length = 0x4000000,\n image_filename = \"/opt/cartesi/share/images/linux.bin\",\n },\n rom = {\n image_filename = \"/opt/cartesi/share/images/rom.bin\",\n bootargs = \"console=hvc0 rootfstype=ext2 root=/dev/mtdblock0 rw quiet swiotlb=noforce mtdparts=flash.0:-(root)\",\n },\n htif = {\n tohost = 0x0, -- default\n fromhost = 0x0, -- default\n console_getchar = false, -- default\n yield_automatic = false, -- default\n yield_manual = false, -- default\n },\n clint = {\n mtimecmp = 0x0, -- default\n },\n flash_drive = {\n {\n start = 0x8000000000000000,\n length = 0x5000000,\n image_filename = \"/opt/cartesi/share/images/rootfs.ext2\",\n shared = false, -- default\n },\n },\n}\n\nCycles: 0\n",
"machine.host.lua.config-mvendorid": "0x6361727465736920",
"machine.host.lua.config-mimpid": "0x1",
"machine.host.lua.config-marchid": "0xc",
"machine.host.cmdline.cycles-limit-exec": "46598940",
"machine.host.cmdline.limit-exec": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\nCycles: 46598940\n",
"machine.host.cmdline.rolling-ioctl-echo-loop-client": "Listening for checkin at 'localhost:8081'\nConnecting to remote cartesi machine at 'localhost:8080'\nConnected: remote version is 0.6.0\n\nManual yield rx-accepted (0x100000000 data)\nCycles: 65523739\n\nEpoch 0 before input 1\n65523739: 3b038dea784432b1339830cadb5ec4c6ed6fcd49dfb92576daa0243a70039d3a\nLoading epoch-0-input-metadata-1.bin\nLoading epoch-0-input-1.bin\n65523739: e994e56a784c99f5da16df152731cc62f3f99ca05f65ac0f8ffa63605c8f96d2\n\nAutomatic yield tx-voucher (0x300000000 data)\nCycles: 65606624\nStoring epoch-0-input-1-voucher-0.bin\n\nAutomatic yield tx-notice (0x400000000 data)\nCycles: 65619533\nStoring epoch-0-input-1-notice-0.bin\n\nAutomatic yield tx-report (0x500000000 data)\nCycles: 65620606\nStoring epoch-0-input-1-report-0.bin\n\nManual yield rx-rejected (0x200000000 data)\nCycles: 65621222\nStoring epoch-0-input-1-voucher-hashes.bin\nStoring epoch-0-input-1-notice-hashes.bin\n\nEpoch 0 before input 2\n65523739: 3b038dea784432b1339830cadb5ec4c6ed6fcd49dfb92576daa0243a70039d3a\nLoading epoch-0-input-metadata-2.bin\nLoading epoch-0-input-2.bin\n65523739: 7b8af5767f3fbf359b6d809c65175e49c7eee15c847e41a71190d3b7b967406d\n\nAutomatic yield tx-voucher (0x300000000 data)\nCycles: 65606624\nStoring epoch-0-input-2-voucher-0.bin\n\nAutomatic yield tx-notice (0x400000000 data)\nCycles: 65619533\nStoring epoch-0-input-2-notice-0.bin\n\nAutomatic yield tx-report (0x500000000 data)\nCycles: 65620606\nStoring epoch-0-input-2-report-0.bin\n\nManual yield rx-accepted (0x100000000 data)\nCycles: 65621221\nStoring epoch-0-input-2-voucher-hashes.bin\nStoring epoch-0-input-2-notice-hashes.bin\n\nBefore query\nLoading query.bin\n\nAutomatic yield tx-report (0x500000000 data)\nCycles: 65622895\nStoring query-report-0.bin\n\nManual yield rx-accepted (0x100000000 data)\nCycles: 65623509\nShutting down remote cartesi machine\n",
"machine.host.cmdline.rolling-ioctl-echo-loop-0client": "Listening for checkin at 'localhost:8081'\nConnecting to remote cartesi machine at 'localhost:8080'\nConnected: remote version is 0.6.0\n\nManual yield rx-accepted (0x100000000 data)",
"machine.host.cmdline.rolling-ioctl-echo-loop-1client": "Epoch 0 before input 1\n65523739: 3b038dea784432b1339830cadb5ec4c6ed6fcd49dfb92576daa0243a70039d3a\nLoading epoch-0-input-metadata-1.bin\nLoading epoch-0-input-1.bin\n65523739: e994e56a784c99f5da16df152731cc62f3f99ca05f65ac0f8ffa63605c8f96d2\n\nAutomatic yield tx-voucher (0x300000000 data)\nCycles: 65606624\nStoring epoch-0-input-1-voucher-0.bin\n\nAutomatic yield tx-notice (0x400000000 data)\nCycles: 65619533\nStoring epoch-0-input-1-notice-0.bin\n\nAutomatic yield tx-report (0x500000000 data)\nCycles: 65620606\nStoring epoch-0-input-1-report-0.bin\n\nManual yield rx-rejected (0x200000000 data)\nCycles: 65621222\nStoring epoch-0-input-1-voucher-hashes.bin",
"machine.host.cmdline.rolling-ioctl-echo-loop-2client": "Epoch 0 before input 2\n65523739: 3b038dea784432b1339830cadb5ec4c6ed6fcd49dfb92576daa0243a70039d3a\nLoading epoch-0-input-metadata-2.bin\nLoading epoch-0-input-2.bin\n65523739: 7b8af5767f3fbf359b6d809c65175e49c7eee15c847e41a71190d3b7b967406d\n\nAutomatic yield tx-voucher (0x300000000 data)\nCycles: 65606624\nStoring epoch-0-input-2-voucher-0.bin\n\nAutomatic yield tx-notice (0x400000000 data)\nCycles: 65619533\nStoring epoch-0-input-2-notice-0.bin\n\nAutomatic yield tx-report (0x500000000 data)\nCycles: 65620606\nStoring epoch-0-input-2-report-0.bin\n\nManual yield rx-accepted (0x100000000 data)\nCycles: 65621221\nStoring epoch-0-input-2-voucher-hashes.bin\nStoring epoch-0-input-2-notice-hashes.bin",
"machine.host.cmdline.rolling-ioctl-echo-loop-3client": "Before query\nLoading query.bin\n\nAutomatic yield tx-report (0x500000000 data)\nCycles: 65622895\nStoring query-report-0.bin\n\nManual yield rx-accepted (0x100000000 data)\nCycles: 65623509\nShutting down remote cartesi machine",
"machine.host.cmdline.rolling-ioctl-echo-loop-hashes0": "3b038dea",
"machine.host.cmdline.rolling-ioctl-echo-loop-hashes1": "e994e56a",
"machine.host.cmdline.rolling-ioctl-echo-loop-hashes2": "3b038dea",
"machine.host.cmdline.rolling-ioctl-echo-loop-hashes3": "7b8af576",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles0": "65523739",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles1": "65606624",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles2": "65619533",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles3": "65620606",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles4": "65621222",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles5": "65606624",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles6": "65619533",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles7": "65620606",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles8": "65621221",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles9": "65622895",
"machine.host.cmdline.rolling-ioctl-echo-loop-cycles10": "65623509",
"machine.host.cmdline.rolling-ioctl-echo-loop-server": "\r\n .\r\n / \\\r\n / \\\r\n\\---/---\\ /----\\\r\n \\ X \\\r\n \\----/ \\---/---\\\r\n \\ / CARTESI\r\n \\ / MACHINE\r\n '\r\n\r\nEchoing as 1 voucher copies, 1 notice copies, and 1 report copies\r\n",
"machine.host.cmdline.rolling-calc-template.template": "\r\n .\r\n / \\\r\n / \\\r\n\\---/---\\ /----\\\r\n \\ X \\\r\n \\----/ \\---/---\\\r\n \\ / CARTESI\r\n \\ / MACHINE\r\n '\r\n\r\n\nManual yield rx-accepted (0x100000000 data)\nCycles: 76814049\nStoring machine: please wait\n",
"machine.host.cmdline.rolling-calc-template.server": "bc: bad expression at 'input'\r\n[json.exception.parse_error.101] parse error at line 1, column 1: syntax error while parsing value - unexpected end of input; expected '[', '{', or a literal\r\n",
"machine.host.cmdline.rolling-calc-template.client": "Listening for checkin at 'localhost:8081'\nConnecting to remote cartesi machine at 'localhost:8080'\nConnected: remote version is 0.6.0\nLoading machine: please wait\n\nManual yield rx-accepted (0x100000000 data)\nCycles: 76814049\n\nEpoch 0 before input 1\n76814049: c21c9af376e7549906c252f468e7c4d74f8ea4bc9af0ce2defdfb9facdb2add8\nLoading epoch-0-input-metadata-1.bin\nLoading epoch-0-input-1.bin\n76814049: 68cefae426b0589152d8ad36c47c0e0739b17e7bbcbdc1e3e61d1836e03c5be8\n\nManual yield rx-rejected (0x200000000 data)\nCycles: 116070336\nStoring epoch-0-input-1-voucher-hashes.bin\nStoring epoch-0-input-1-notice-hashes.bin\n\nEpoch 0 before input 2\n76814049: c21c9af376e7549906c252f468e7c4d74f8ea4bc9af0ce2defdfb9facdb2add8\nLoading epoch-0-input-metadata-2.bin\nLoading epoch-0-input-2.bin\n76814049: 34eb84e7149b168badef7c9a330a6bc40a1c10de94276431876923beda2ba219\n\nAutomatic yield tx-notice (0x400000000 data)\nCycles: 113292509\nStoring epoch-0-input-2-notice-0.bin\n\nManual yield rx-accepted (0x100000000 data)\nCycles: 116831231\nStoring epoch-0-input-2-voucher-hashes.bin\nStoring epoch-0-input-2-notice-hashes.bin\nShutting down remote cartesi machine\n",
"machine.host.cmdline.rolling-calc-sh": "#!/bin/sh\n\nreqfile=$(mktemp /tmp/calc.XXXXXX)\nstatus=\"accept\"\nwhile :\ndo\n rollup $status > \"$reqfile\"\n request_type=$(jq -j .request_type < \"$reqfile\")\n status=\"reject\"\n if [ \"$request_type\" = \"advance_state\" ];\n then\n jq -j '.data.payload' < \"$reqfile\" | \\\n bc | \\\n tr -d '\\\\\\n' | \\\n jq -R '{ payload: . }' | \\\n rollup notice > /dev/null && \\\n status=\"accept\"\n fi\ndone\nrm \"$reqfile\"\n",
"machine.host.cmdline.remote-client": "Listening for checkin at 'localhost:8081'\nConnecting to remote cartesi machine at 'localhost:8080'\nConnected: remote version is 0.6.0\n\nHalted\nCycles: 62388529\nShutting down remote cartesi machine\n",
"machine.host.cmdline.remote-server": "\r\n .\r\n / \\\r\n / \\\r\n\\---/---\\ /----\\\r\n \\ X \\\r\n \\----/ \\---/---\\\r\n \\ / CARTESI\r\n \\ / MACHINE\r\n '\r\n\r\nNothing to do.\r\n",
"machine.host.cmdline.remote-begin-client": "Listening for checkin at 'localhost:8081'\nConnecting to remote cartesi machine at 'localhost:8080'\nConnected: remote version is 0.6.0\n\nCycles: 1048576\nShutting down remote cartesi machine\n",
"machine.host.cmdline.remote-end-client": "Listening for checkin at 'localhost:8081'\nConnecting to remote cartesi machine at 'localhost:8080'\nConnected: remote version is 0.6.0\n\nHalted\nCycles: 66003491\nShutting down remote cartesi machine\n",
"machine.host.cmdline.remote-begin-end-server": "\r\n .\r\n / \\\r\n / \\\r\n\\---/---\\ /----\\\r\n \\ X \\\r\n \\----/ \\---/---\\\r\n \\ / CARTESI\r\n \\ / MACHINE\r\n '\r\n\r\nStill here!\r\n",
"machine.host.overview.help": "Usage:\n\n /opt/cartesi/bin/cartesi-machine.lua [options] [command] [arguments]\n\nwhere options are:\n\n --remote-address=<address>\n use a remote cartesi machine listenning to <address> instead of\n running a local cartesi machine.\n (requires --checkin-address)\n\n --checkin-address=<address>\n address of the local checkin server to run.\n\n --remote-shutdown\n shutdown the remote cartesi machine after the execution.\n\n --no-remote-create\n use existing cartesi machine in the remote server instead of creating a new one.\n\n --no-remote-destroy\n do not destroy the cartesi machine in the remote server after the execution.\n\n --ram-image=<filename>\n name of file containing RAM image (default: \"linux.bin\").\n\n --no-ram-image\n forget settings for RAM image.\n\n --ram-length=<number>\n set RAM length.\n\n --rom-image=<filename>\n name of file containing ROM image (default: \"rom.bin\").\n\n --no-rom-bootargs\n clear default bootargs.\n\n --append-rom-bootargs=<string>\n append <string> to bootargs.\n\n --no-root-flash-drive\n clear default root flash drive and associated bootargs parameters.\n\n --flash-drive=<key>:<value>[,<key>:<value>[,...]...]\n defines a new flash drive, or modify an existing flash drive definition\n flash drives appear as /dev/mtdblock[1-7].\n\n <key>:<value> is one of\n label:<label>\n filename:<filename>\n start:<number>\n length:<number>\n shared\n\n label (mandatory)\n identifies the flash drive. init attempts to mount it as /mnt/<label>.\n\n filename (optional)\n gives the name of the file containing the image for the flash drive.\n when omitted or set to the empty, the drive starts filled with 0.\n\n start (optional)\n sets the starting physical memory offset for flash drive in bytes.\n when omitted, drives start at 2 << 63 and are spaced by 2 << 60.\n if any start offset is set, all of them must be set.\n\n length (optional)\n gives the length of the flash drive in bytes (must be multiple of 4Ki).\n if omitted, the length is computed from the image in filename.\n if length and filename are set, the image file size must match length.\n\n shared (optional)\n target modifications to flash drive modify image file as well.\n by default, image files are not modified and changes are lost.\n\n (an option \"--flash-drive=label:root,filename:rootfs.ext2\" is implicit)\n\n --replace-flash-drive=<key>:<value>[,<key>:<value>[,...]...]\n --replace-memory-range=<key>:<value>[,<key>:<value>[,...]...]\n replaces an existing flash drive or rollup memory range right after\n machine instantiation.\n (typically used in conjunction with the --load=<directory> option.)\n\n <key>:<value> is one of\n filename:<filename>\n start:<number>\n length:<number>\n shared\n\n semantics are the same as for the --flash-drive option with the following\n difference: start and length are mandatory, and must match those of a\n previously existing flash drive or rollup memory memory range.\n\n --dhd=<key>:<value>[,<key>:<value>[,...]...]\n configures the dehashing device.\n by default, the device is not present.\n\n <key>:<value> is one of\n filename:<filename>\n tstart:<number>\n tlength:<number>\n\n filename (optional)\n gives the name of the file containing the initial dehashed data.\n when omitted or set to the empty, the data starts filled with 0.\n\n tstart (mandatory when device present)\n sets the start of target physical memory range for output data.\n must be aligned to tlength.\n\n tlength (mandatory when device present)\n gives the length of target physical memory range for output data.\n must be a power of 2 greater than 4Ki, or 0 when device not present.\n\n --dhd-source=<address>\n address of server acting as source for dehashed data.\n\n --rollup-rx-buffer=<key>:<value>[,<key>:<value>[,...]...]\n --rollup-tx-buffer=<key>:<value>[,<key>:<value>[,...]...]\n --rollup-input-metadata=<key>:<value>[,<key>:<value>[,...]...]\n --rollup-voucher-hashes=<key>:<value>[,<key>:<value>[,...]...]\n --rollup-notice-hashes=<key>:<value>[,<key>:<value>[,...]...]\n defines the individual the memory ranges used by rollups.\n\n <key>:<value> is one of\n filename:<filename>\n start:<number>\n length:<number>\n shared\n\n semantics are the same as for the --flash-drive option with the following\n difference: start and length are mandatory.\n\n --rollup\n defines appropriate values for rollup-rx-buffer, rollup-tx-buffer,\n rollup-input-metadata, rollup-voucher-hashes, rollup-notice hashes,\n and htif yield for use with rollups.\n equivalent to the following options:\n\n --rollup-rx-buffer=start:0x60000000,length:2<<20\n --rollup-tx-buffer=start:0x60200000,length:2<<20\n --rollup-input-metadata=start:0x60400000,length:4096\n --rollup-voucher-hashes=start:0x60600000,length:2<<20\n --rollup-notice-hashes=start:0x60800000,length:2<<20\n --htif-yield-manual\n --htif-yield-automatic\n\n --rollup-advance-state=<key>:<value>[,<key>:<value>[,...]...]\n advances the state of the machine through a number of inputs in an epoch\n\n <key>:<value> is one of\n epoch_index:<number>\n input:<filename-pattern>\n input_metadata:<filename-pattern>\n input_index_begin:<number>\n input_index_end:<number>\n voucher:<filename-pattern>\n voucher_hashes: <filename>\n notice:<filename-pattern>\n notice_hashes: <filename>\n report:<filename-pattern>\n hashes\n\n epoch_index\n the index of the epoch (the value of %e).\n\n input (default: \"epoch-%e-input-%i.bin\")\n the pattern that derives the name of the file read for input %i\n of epoch index %e.\n\n input_index_begin (default: 0)\n index of first input to advance (the first value of %i).\n\n input_index_end (default: 0)\n one past index of last input to advance (one past last value of %i).\n\n input_metadata (default: \"epoch-%e-input-metadata-%i.bin\")\n the pattern that derives the name of the file read for\n input metadata %i of epoch index %e.\n\n voucher (default: \"epoch-%e-input-%i-voucher-%o.bin\")\n the pattern that derives the name of the file written for voucher %o\n of input %i of epoch %e.\n\n voucher_hashes (default: \"epoch-%e-input-%i-voucher-hashes.bin\")\n the pattern that derives the name of the file written for the voucher\n hashes of input %i of epoch %e.\n\n notice (default: \"epoch-%e-input-%i-notice-%o.bin\")\n the pattern that derives the name of the file written for notice %o\n of input %i of epoch %e.\n\n notice_hashes (default: \"epoch-%e-input-%i-notice-hashes.bin\")\n the pattern that derives the name of the file written for the notice\n hashes of input %i of epoch %e.\n\n report (default: \"epoch-%e-input-%i-report-%o.bin\")\n the pattern that derives the name of the file written for report %o\n of input %i of epoch %e.\n\n hashes\n print out hashes before every input.\n\n the input index ranges in {input_index_begin, ..., input_index_end-1}.\n for each input, \"%e\" is replaced by the epoch index, \"%i\" by the\n input index, and \"%o\" by the voucher, notice, or report index.\n\n --rollup-inspect-state=<key>:<value>[,<key>:<value>[,...]...]\n inspect the state of the machine with a query.\n the query happens after the end of --rollup-advance-state.\n\n <key>:<value> is one of\n query:<filename>\n report:<filename-pattern>\n\n query (default: \"query.bin\")\n the name of the file from which to read the query.\n\n report (default: \"query-report-%o.bin\")\n the pattern that derives the name of the file written for report %o\n of the query.\n\n while the query is processed, \"%o\" is replaced by the current report index.\n\n --concurrency=<key>:<value>[,<key>:<value>[,...]...]\n configures the number of threads used in some implementation parts.\n\n <key>:<value> is one of\n update_merkle_tree:<number>\n\n update_merkle_tree (optional)\n defines the number of threads to use while calculating the merkle tree.\n when ommited or defined as 0, the number of hardware threads is used if\n it can be identified or else a single thread is used.\n\n --max-mcycle=<number>\n stop at a given mcycle (default: 2305843009213693952).\n\n -i or --htif-console-getchar\n run in interactive mode.\n\n --htif-yield-manual\n honor yield requests with manual reset by target.\n\n --htif-yield-automatic\n honor yield requests with automatic reset by target.\n\n --store=<directory>\n store machine to <directory>, where \"%h\" is substituted by the\n state hash in the directory name.\n\n --load=<directory>\n load machine previously stored in <directory>.\n\n --initial-hash\n print initial state hash before running machine.\n\n --final-hash\n print final state hash when done.\n\n --periodic-hashes=<number-period>[,<number-start>]\n prints root hash every <number-period> cycles. If <number-start> is given,\n the periodic hashing will start at that mcycle. This option implies\n --initial-hash and --final-hash.\n (default: none)\n\n --step\n print step log for 1 additional cycle when done.\n\n --json-steps=<filename>\n output json with step logs for all cycles to <filename>.\n\n --store-config[=<filename>]\n store initial machine config to <filename>. If <filename> is omitted,\n print the initial machine config to stderr.\n\n --load-config=<filename>\n load initial machine config from <filename>. If a field is omitted on\n machine_config table, it will fall back into the respective command-line\n argument or into the default value.\n\n --dump-pmas\n dump all PMA ranges to disk when done.\n\nand command and arguments:\n\n command\n the full path to the program inside the target system.\n (default: /bin/sh)\n\n arguments\n the given command arguments.\n\n<number> can be specified in decimal (e.g., 16) or hexadeximal (e.g., 0x10),\nwith a suffix multiplier (i.e., Ki, Mi, Gi for 2^10, 2^20, 2^30, respectively),\nor a left shift (e.g., 2 << 20).\n\n<address> is one of the following formats:\n <host>:<port>\n unix:<path>\n\n<host> can be a host name, IPv4 or IPv6 address.\n\n",
"machine.host.overview.sha256-linux": "76d90cd7eb6c66a76c192fefdc7bb236637f2f9f0eb4f0c5eb44f2f82240fcdd /opt/cartesi/share/images/linux.bin\n",
"machine.host.overview.sha256-rom": "ed73b33741fb6ebb61a7e4d00ba23d30712ccb47e888b2b5ad3245d6928b8cfe /opt/cartesi/share/images/rom.bin\n",
"machine.host.overview.sha256-rootfs": "485f12ffd1a6df386f8be4e5e1695ecc220fd90d3a606f8ab3c0f2877199a1a3 /opt/cartesi/share/images/rootfs.ext2\n",
"machine.host.cmdline.interactive-ls": "Running in interactive mode!\n\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\ncartesi-machine:~ # ls /bin\narch dmesg linux64 nuke stty\nash dnsdomainname ln pidof su\nbase32 dumpkmap login ping sync\nbase64 echo ls pipe_progress tar\nbusybox egrep lsattr printenv touch\ncat false lsblk ps true\nchattr fdflush mk_cmds pwd umount\nchgrp fgrep mkdir resume uname\nchmod findmnt mknod rm usleep\nchown getopt mktemp rmdir vi\ncompile_et grep more run-parts watch\ncp gunzip mount sed wdctl\ncpio gzip mountpoint setarch zcat\ncttyhack hostname mt setpriv\ndate kill mv setserial\ndd link netstat sh\ndf linux32 nice sleep\ncartesi-machine:~ # exit\n\nHalted\nCycles: 188631827\n",
"machine.host.cmdline.ls": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\narch dmesg linux64 nuke stty\nash dnsdomainname ln pidof su\nbase32 dumpkmap login ping sync\nbase64 echo ls pipe_progress tar\nbusybox egrep lsattr printenv touch\ncat false lsblk ps true\nchattr fdflush mk_cmds pwd umount\nchgrp fgrep mkdir resume uname\nchmod findmnt mknod rm usleep\nchown getopt mktemp rmdir vi\ncompile_et grep more run-parts watch\ncp gunzip mount sed wdctl\ncpio gzip mountpoint setarch zcat\ncttyhack hostname mt setpriv\ndate kill mv setserial\ndd link netstat sh\ndf linux32 nice sleep\n\nHalted\nCycles: 67557971\n",
"machine.host.cmdline.nothing": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nNothing to do.\n\nHalted\nCycles: 62388529\n",
"machine.host.cmdline.flash": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nHello world!\n\nHalted\nCycles: 72134050\n",
"machine.host.cmdline.persistent-flash": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\n/mnt/foo/bar.txt\ncp: can't create '/mnt/foo/baz.txt': Permission denied\n\nHalted\nCycles: 72008644\n",
"machine.host.cmdline.state-hashes-limit-exec": "0: 1392f3d52dcaa5b070fa1e91b377e8d31fecf242a5ab4e3a84cd191d5699e456\n\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\nCycles: 46598940\n46598940: a00da7ebbe0d5d4b9fee481b9b8718fa4f91fb70bd791b5d984acb66f5c10db9\n",
"machine.host.cmdline.state-hashes-initial": "1392f3d5",
"machine.host.cmdline.state-hashes-final-limit-exec": "a00da7eb",
"machine.host.cmdline.state-hashes-no-limit": "0: 1392f3d52dcaa5b070fa1e91b377e8d31fecf242a5ab4e3a84cd191d5699e456\n\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nNothing to do.\n\nHalted\nCycles: 62388529\n62388529: faa438df6e6dd027aab3710223852303964fe20f93af43c919120bc7ff3d27ba\n",
"machine.host.cmdline.state-hashes-cycles-no-limit": "62388529",
"machine.host.cmdline.state-hashes-final-no-limit": "faa438df",
"machine.host.cmdline.persistent-machine": "Loading machine: please wait\n46598940: a00da7ebbe0d5d4b9fee481b9b8718fa4f91fb70bd791b5d984acb66f5c10db9\n\n \\ / MACHINE\n '\n\nNothing to do.\n\nHalted\nCycles: 62388529\n62388529: faa438df6e6dd027aab3710223852303964fe20f93af43c919120bc7ff3d27ba\n",
"machine.host.cmdline.persistent-stored-hash": "a00da7ebbe0d5d4b9fee481b9b8718fa4f91fb70bd791b5d984acb66f5c10db9\n",
"machine.host.cmdline.templates-run": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\n\nHalted\nCycles: 85860002\n",
"machine.host.cmdline.templates-store": "\nCycles: 0\n0: bce76332fea7cd5a2cdd28a8e85937bded73364a6cd868c36e80d88804cf64f8\nStoring machine: please wait\n",
"machine.host.cmdline.templates-hash": "370ffe6edd287bda120b6d6a3f6902e02dd1e3ca2cfaf5092970c847a38f0cb3\n",
"machine.host.cmdline.templates-trunc-hash": "370ffe6e",
"machine.host.cmdline.proofs-pristine-run": "Loading machine: please wait\n0: 370ffe6edd287bda120b6d6a3f6902e02dd1e3ca2cfaf5092970c847a38f0cb3\n\nCycles: 0\n",
"machine.host.cmdline.proofs-pristine-json": "{\n \"target_address\": 10376293541461622784,\n \"log2_target_size\": 12,\n \"log2_root_size\": 64,\n \"target_hash\": \"d8b96e5b7f6f459e9cb6a2f41bf276c7b85c10cd4662c04cbbb365434726c0a0\",\n \"sibling_hashes\": [\n \"7674c8ed1dcd5768ee452d76e093e93bcb003cf639169c042ec3ea100eb7f51f\",\n \"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683\",\n \"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd\",\n \"5ba02fe28593d850f733209bb22f04bbc5537b30b206fd31eb1cb388b54cec29\",\n \"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f\",\n \"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249\",\n \"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6\",\n \"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e\",\n \"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c\",\n \"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da\",\n \"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb\",\n \"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff\",\n \"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b\",\n \"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e\",\n \"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2\",\n \"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864\",\n \"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94\",\n \"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e\",\n \"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998\",\n \"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61\",\n \"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e\",\n \"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316\",\n \"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499\",\n \"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6\",\n \"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9\",\n \"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90\",\n \"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423\",\n \"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951\",\n \"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997\",\n \"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b\",\n \"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c\",\n \"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55\",\n \"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3\",\n \"21e2d8fa914e2559bb72bf0ab78c8ab92f00ef0d0d576eccdd486b64138a4172\",\n \"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d\",\n \"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f\",\n \"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c\",\n \"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae\",\n \"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593\",\n \"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36\",\n \"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23\",\n \"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b\",\n \"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e\",\n \"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f\",\n \"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524\",\n \"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89\",\n \"f7549f26cc70ed5e18baeb6c81bb0625cb95bb4019aeecd40774ee87ae29ec51\",\n \"2122e31e4bbd2b7c783d79cc30f60c6238651da7f0726f767d22747264fdb046\",\n \"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7\",\n \"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb\",\n \"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61\",\n \"d8b96e5b7f6f459e9cb6a2f41bf276c7b85c10cd4662c04cbbb365434726c0a0\"\n ],\n \"root_hash\": \"370ffe6edd287bda120b6d6a3f6902e02dd1e3ca2cfaf5092970c847a38f0cb3\"\n}\n",
"machine.host.cmdline.proofs-input-json": "{\n \"target_address\": 10376293541461622784,\n \"log2_target_size\": 12,\n \"log2_root_size\": 64,\n \"target_hash\": \"2c92c99754e85e3e2a29edd84228a62b051f9f55a5563f8decc7c6d5d9d8ef64\",\n \"sibling_hashes\": [\n \"53bfe1357f9416dd72a9e443ed0484080380a5865df1507b6bff8f1f40b29abe\",\n \"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683\",\n \"41187451383460762c06d1c8a72b9cd718866ad4b689e10c9a8c38fe5ef045bd\",\n \"5ba02fe28593d850f733209bb22f04bbc5537b30b206fd31eb1cb388b54cec29\",\n \"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f\",\n \"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249\",\n \"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6\",\n \"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e\",\n \"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c\",\n \"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da\",\n \"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb\",\n \"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff\",\n \"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b\",\n \"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e\",\n \"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2\",\n \"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864\",\n \"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94\",\n \"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e\",\n \"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998\",\n \"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61\",\n \"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e\",\n \"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316\",\n \"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499\",\n \"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6\",\n \"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9\",\n \"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90\",\n \"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423\",\n \"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951\",\n \"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997\",\n \"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b\",\n \"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c\",\n \"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55\",\n \"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3\",\n \"21e2d8fa914e2559bb72bf0ab78c8ab92f00ef0d0d576eccdd486b64138a4172\",\n \"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d\",\n \"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f\",\n \"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c\",\n \"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae\",\n \"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593\",\n \"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36\",\n \"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23\",\n \"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b\",\n \"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e\",\n \"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f\",\n \"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524\",\n \"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89\",\n \"f7549f26cc70ed5e18baeb6c81bb0625cb95bb4019aeecd40774ee87ae29ec51\",\n \"2122e31e4bbd2b7c783d79cc30f60c6238651da7f0726f767d22747264fdb046\",\n \"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7\",\n \"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb\",\n \"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61\",\n \"d8b96e5b7f6f459e9cb6a2f41bf276c7b85c10cd4662c04cbbb365434726c0a0\"\n ],\n \"root_hash\": \"8cb551c358a7cb0680d0f288b27efdbe17dbb65dbca85ab90ead446f1037f018\"\n}\n",
"machine.host.cmdline.proofs-input-roothash": "8cb551c3",
"machine.host.cmdline.proofs-output-run": "Loading machine: please wait\n\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\n\nHalted\nCycles: 85941645\n85941645: bbf5015f59cf06252e160b600ceb6b624935333a1a3561d8684fb8fd696cc3fd\n",
"machine.host.cmdline.proofs-output-json": "{\n \"target_address\": 11529215046068469760,\n \"log2_target_size\": 12,\n \"log2_root_size\": 64,\n \"target_hash\": \"b15a6b8aab8a423c725f9ad55fd46c4481ba91008f3a01593192de37a7a41565\",\n \"sibling_hashes\": [\n \"66ce8ce2fe6a2a099af9407a1f407eabf29c53fb38825dd6042e6d92ea86786e\",\n \"785b01e980fc82c7e3532ce81876b778dd9f1ceeba4478e86411fb6fdd790683\",\n \"e989736814d39b0a523b034d86f8add116cb290b0e6e5b11688b216408dc070f\",\n \"6d1ab973982c7ccbe6c1fae02788e4422ae22282fa49cbdb04ba54a7a238c6fc\",\n \"6d4fe42ea8d1a120c03cf9c50622c2afe4acb0dad98fd62d07ab4e828a94495f\",\n \"ced9a87b2a6a87e70bf251bb5075ab222138288164b2eda727515ea7de12e249\",\n \"909efab43c42c0cb00695fc7f1ffe67c75ca894c3c51e1e5e731360199e600f6\",\n \"414217a618ccb14caa9e92e8c61673afc9583662e812adba1f87a9c68202d60e\",\n \"fa6a452470f8d645bebfad9779594fc0784bb764a22e3a8181d93db7bf97893c\",\n \"27a31085634b6ec78864b6d8201c7e93903d75815067e378289a3d072ae172da\",\n \"f75c40174a91f9ae6b8647854a156029f0b88b83316663ce574a4978277bb6bb\",\n \"06cc0a6fd12230ea586dae83019fb9e06034ed2803c98d554b93c9a52348caff\",\n \"712e55805248b92e8677d90f6d284d1d6ffaff2c430657042a0e82624fa3717b\",\n \"214947127506073e44d5408ba166c512a0b86805d07f5a44d3c41706be2bc15e\",\n \"7bdd613713ada493cc17efd313206380e6a685b8198475bbd021c6e9d94daab2\",\n \"5ea69e2f7c7d2ccc85b7e654c07e96f0636ae4044fe0e38590b431795ad0f864\",\n \"c61ce68b20307a1a81f71ca645b568fcd319ccbb5f651e87b707d37c39e15f94\",\n \"76e1424883a45ec49d497ddaf808a5521ca74a999ab0b3c7aa9c80f85e93977e\",\n \"91b4feecbe1789717021a158ace5d06744b40f551076b67cd63af60007f8c998\",\n \"455306d01081bc3384f82c5fb2aacaa19d89cdfa46cc916eac61121475ba2e61\",\n \"a1611f1b276b26530f58d7247df459ce1f86db1d734f6f811932f042cee45d0e\",\n \"29927c21dd71e3f656826de5451c5da375aadecbd59d5ebf3a31fae65ac1b316\",\n \"5d8b6aa5934f817252c028c90f56d413b9d5d10d89790707dae2fabb249f6499\",\n \"8dff81e014ce25f2d132497923e267363963cdf4302c5049d63131dc03fd95f6\",\n \"bec80f4f5d1daa251988826cef375c81c36bf457e09687056f924677cb0bccf9\",\n \"847a230d34dfb71ed56f2965a7f6c72e6aa33c24c303fd67745d632656c5ef90\",\n \"e63624cbd316a677cad529bbe4e97b9144e4bc06c4afd1de55dd3e1175f90423\",\n \"a57b9796fdcb2eda87883c2640b072b140b946bfdf6575cacc066fdae04f6951\",\n \"85d8820921ff5826148b60e6939acd7838e1d7f20562bff8ee4b5ec4a05ad997\",\n \"1373a814641d6a1dcef97b883fee61bb84fe60a3409340217e629cc7e4dcc93b\",\n \"d5d218ef5a296dda8ddc355f3f50c3d0b660a51dfa4d98a6a5a33564556cf83c\",\n \"3abc751df07437834ba5acb32328a396994aebb3c40f759c2d6d7a3cb5377e55\",\n \"674857e543d1d5b639058dd908186597e366ad5f3d9c7ceaff44d04d1550b8d3\",\n \"21e2d8fa914e2559bb72bf0ab78c8ab92f00ef0d0d576eccdd486b64138a4172\",\n \"4fd085aceaa7f542d787ee4196d365f3cc566e7bbcfbfd451230c48d804c017d\",\n \"3c5126b9c7e33c8e5a5ac9738b8bd31247fb7402054f97b573e8abb9faad219f\",\n \"fdc242788f654b57a4fb32a71b335ef6ff9a4cc118b282b53bdd6d6192b7a82c\",\n \"fedc0d0dbbd855c8ead673544899b0960e4a5a7ca43b4ef90afe607de7698cae\",\n \"766c5e8ac9a88b35b05c34747e6507f6b044ab66180dc76ac1a696de03189593\",\n \"3e2337b715f6ac9a6a272622fdc2d67fcfe1da3459f8dab4ed7e40a657a54c36\",\n \"f065ec220c1fd4ba57e341261d55997f85d66d32152526736872693d2b437a23\",\n \"13e466a8935afff58bb533b3ef5d27fba63ee6b0fd9e67ff20af9d50deee3f8b\",\n \"27d86025599a41233848702f0cfc0437b445682df51147a632a0a083d2d38b5e\",\n \"99af665835aabfdc6740c7e2c3791a31c3cdc9f5ab962f681b12fc092816a62f\",\n \"2b573c267a712a52e1d06421fe276a03efb1889f337201110fdc32a81f8e1524\",\n \"7a71f6ee264c5d761379b3d7d617ca83677374b49d10aec50505ac087408ca89\",\n \"f7549f26cc70ed5e18baeb6c81bb0625cb95bb4019aeecd40774ee87ae29ec51\",\n \"2122e31e4bbd2b7c783d79cc30f60c6238651da7f0726f767d22747264fdb046\",\n \"91e3eee5ca7a3da2b3053c9770db73599fb149f620e3facef95e947c0ee860b7\",\n \"63e8806fa0d4b197a259e8c3ac28864268159d0ac85f8581ca28fa7d2c0c03eb\",\n \"c9695393027fb106a8153109ac516288a88b28a93817899460d6310b71cf1e61\",\n \"d8b96e5b7f6f459e9cb6a2f41bf276c7b85c10cd4662c04cbbb365434726c0a0\"\n ],\n \"root_hash\": \"bbf5015f59cf06252e160b600ceb6b624935333a1a3561d8684fb8fd696cc3fd\"\n}\n",
"machine.host.cmdline.proofs-output-roothash": "bbf5015f",
"machine.host.cmdline.rarely-append-bootargs-loglevel": "[ 0.000000] OF: fdt: Ignoring memory range 0x80000000 - 0x80200000\n[ 0.000000] Linux version 5.5.19-ctsi-6 (developer@buildkitsandbox) (gcc version 10.2.0 (crosstool-NG 1.24.0.199_dd20ee5)) #1 Mon Aug 29 20:18:47 UTC 2022\n[ 0.000000] Zone ranges:\n[ 0.000000] DMA32 [mem 0x0000000080200000-0x0000000083feffff]\n[ 0.000000] Normal empty\n[ 0.000000] Movable zone start for each node\n[ 0.000000] Early memory node ranges\n[ 0.000000] node 0: [mem 0x0000000080200000-0x0000000083feffff]\n[ 0.000000] Initmem setup node 0 [mem 0x0000000080200000-0x0000000083feffff]\n[ 0.000000] On node 0 totalpages: 15856\n[ 0.000000] DMA32 zone: 217 pages used for memmap\n[ 0.000000] DMA32 zone: 0 pages reserved\n[ 0.000000] DMA32 zone: 15856 pages, LIFO batch:3\n[ 0.000000] software IO TLB: mapped [mem 0x83eed000-0x83eed800] (0MB)\n[ 0.000000] elf_hwcap is 0x1101\n[ 0.000000] pcpu-alloc: s0 r0 d32768 u32768 alloc=1*32768\n[ 0.000000] pcpu-alloc: [0] 0 \n[ 0.000000] Built 1 zonelists, mobility grouping on. Total pages: 15639\n[ 0.000000] Kernel command line: console=hvc0 rootfstype=ext2 root=/dev/mtdblock0 rw quiet swiotlb=noforce mtdparts=flash.0:-(root) loglevel=8\n[ 0.000000] Dentry cache hash table entries: 8192 (order: 4, 65536 bytes, linear)\n[ 0.000000] Inode-cache hash table entries: 4096 (order: 3, 32768 bytes, linear)\n[ 0.000000] Sorting __ex_table...\n[ 0.000000] mem auto-init: stack:off, heap alloc:off, heap free:off\n[ 0.000000] Memory: 57472K/63424K available (3582K kernel code, 200K rwdata, 605K rodata, 128K init, 242K bss, 5952K reserved, 0K cma-reserved)\n[ 0.000000] SLUB: HWalign=64, Order=0-3, MinObjects=0, CPUs=1, Nodes=1\n[ 0.000000] NR_IRQS: 0, nr_irqs: 0, preallocated irqs: 0\n[ 0.000000] riscv_timer_init_dt: Registering clocksource cpuid [0] hartid [0]\n[ 0.000000] clocksource: riscv_clocksource: mask: 0xffffffffffffffff max_cycles: 0x1d854df40, max_idle_ns: 3526361616960 ns\n[ 0.000033] sched_clock: 64 bits at 1000kHz, resolution 1000ns, wraps every 2199023255500ns\n[ 0.000534] Console: colour dummy device 80x25\n[ 0.004712] printk: console [hvc0] enabled\n[ 0.004893] Calibrating delay loop (skipped), value calculated using timer frequency.. 2.00 BogoMIPS (lpj=10000)\n[ 0.005156] pid_max: default: 32768 minimum: 301\n[ 0.005808] Mount-cache hash table entries: 512 (order: 0, 4096 bytes, linear)\n[ 0.006011] Mountpoint-cache hash table entries: 512 (order: 0, 4096 bytes, linear)\n[ 0.009544] devtmpfs: initialized\n[ 0.011817] random: get_random_u32 called from bucket_table_alloc.isra.0+0x6c/0x11c with crng_init=0\n[ 0.012501] clocksource: jiffies: mask: 0xffffffff max_cycles: 0xffffffff, max_idle_ns: 19112604462750000 ns\n[ 0.012949] futex hash table entries: 256 (order: 0, 6144 bytes, linear)\n[ 0.014444] NET: Registered protocol family 16\n[ 0.031225] clocksource: Switched to clocksource riscv_clocksource\n[ 0.050902] NET: Registered protocol family 2\n[ 0.053463] tcp_listen_portaddr_hash hash table entries: 256 (order: 0, 4096 bytes, linear)\n[ 0.053715] TCP established hash table entries: 512 (order: 0, 4096 bytes, linear)\n[ 0.053974] TCP bind hash table entries: 512 (order: 0, 4096 bytes, linear)\n[ 0.054197] TCP: Hash tables configured (established 512 bind 512)\n[ 0.054558] UDP hash table entries: 256 (order: 1, 8192 bytes, linear)\n[ 0.054801] UDP-Lite hash table entries: 256 (order: 1, 8192 bytes, linear)\n[ 0.055442] NET: Registered protocol family 1\n[ 0.057002] workingset: timestamp_bits=62 max_order=14 bucket_order=0\n[ 0.354216] physmap-flash 8000000000000000.flash: physmap platform flash device: [mem 0x8000000000000000-0x8000000004ffffff]\n[ 0.354494] 1 cmdlinepart partitions found on MTD device flash.0\n[ 0.354647] Creating 1 MTD partitions on \"flash.0\":\n[ 0.354786] 0x000000000000-0x000005000000 : \"root\"\n[ 0.359122] NET: Registered protocol family 17\n[ 0.361116] VFS: Mounted root (ext2 filesystem) on device 31:0.\n[ 0.361486] devtmpfs: mounted\n[ 0.361890] Freeing unused kernel memory: 128K\n[ 0.362007] This architecture does not have kernel memory protection.\n[ 0.362164] Run /sbin/init as init process\n\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\n[ 0.466375] random: crng init done\nNothing to do.\n[ 0.567990] reboot: Power down\n\nHalted\nCycles: 63873507\n",
"machine.host.cmdline.rarely-id": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nuid=1000(dapp) gid=1000(dapp) groups=1000(dapp)\n\nHalted\nCycles: 65938834\n",
"machine.host.cmdline.rarely-append-bootargs-single-id": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nuid=0(root) gid=0(root)\n\nHalted\nCycles: 65904418\n",
"machine.host.cmdline.default-rom-bootargs": "\"console=hvc0 rootfstype=ext2 root=/dev/mtdblock0 rw quiet swiotlb=noforce mtdparts=flash.0:-(root)\"\n",
"machine.host.cmdline.rarely-periodic-initial-cycle": 85941635,
"machine.host.cmdline.rarely-periodic-hashes": "Loading machine: please wait\n0: 8cb551c358a7cb0680d0f288b27efdbe17dbb65dbca85ab90ead446f1037f018\n\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\n85941635: baec7c3805d03d80ed82abffbdb07e8ce444321057d8c128e4e8191fa6c63125\n85941636: 4381ad2b52fe6dca408d1c3f922c4adbcc119b554867dfb5e467651bbe69866f\n85941637: 1e7397164110cbd88b2f6fbe6b412287c763b51ef2b0f46ae613a0e390af1bad\n85941638: 29dcc26b33fbdf08145d4edf378fb7fc167def96dcd442424520ccf08ff1e3c3\n85941639: 230d31a46ad24ae2c097e337e27bfba82541e0b7f3e514e19bbf9b73a7601730\n85941640: 7bfe0c514f93e8765781216221b7efabb02a3f883fadac2f57ef715636598952\n85941641: 97baf0dd63c88a826f0f4cac452d78fd6b54bc0f15be4c74cc3d0bda0857e62e\n85941642: bd589544dd0bdffb664a6b9d502c79672d6f7e9ff0a41ad5132bc67d83621ef1\n85941643: 57e749c5d441bfac0f9bf5fa4a346809cfa9ed2c96514edf8182cd776fc80cd2\n85941644: 88d976d5fcbea213c338f307a69c93c5aa0ff339db1d8e244b305f45eff122c6\n\nHalted\nCycles: 85941645\n85941645: bbf5015f59cf06252e160b600ceb6b624935333a1a3561d8684fb8fd696cc3fd\n",
"machine.host.cmdline.rarely-step": "\nCycles: 46598940\nGathering step proof: please wait\nbegin step\n hash a00da7eb\n 1: read mcycle@0x120(288): 0x2c70b1c(46598940)\n hash a00da7eb\n 2: read iflags.H@0x1d0(464): 0x18(24)\n hash a00da7eb\n 3: read iflags.Y@0x1d0(464): 0x18(24)\n hash a00da7eb\n 4: read iflags.X (superfluous)@0x1d0(464): 0x18(24)\n hash a00da7eb\n 5: write iflags.X@0x1d0(464): 0x18(24) -> 0x18(24)\n begin set_rtc_interrupt\n end set_rtc_interrupt\n begin raise_interrupt_if_any\n hash a00da7eb\n 6: read mip@0x170(368): 0x0(0)\n hash a00da7eb\n 7: read mie@0x168(360): 0x2aa(682)\n end raise_interrupt_if_any\n begin fetch_insn\n hash a00da7eb\n 8: read pc@0x100(256): 0x80002fa0(2147495840)\n begin translate_virtual_address\n hash a00da7eb\n 9: read iflags.PRV@0x1d0(464): 0x18(24)\n hash a00da7eb\n 10: read mstatus@0x130(304): 0xa00000820(42949675040)\n end translate_virtual_address\n begin find_pma_entry\n hash a00da7eb\n 11: read pma.istart@0x800(2048): 0x800000f9(2147483897)\n hash a00da7eb\n 12: read pma.ilength@0x808(2056): 0x4000000(67108864)\n end find_pma_entry\n hash a00da7eb\n 13: read memory@0x80002fa0(2147495840): 0x7378300f6b023(2031360633384995)\n end fetch_insn\n begin sd\n hash a00da7eb\n 14: read x@0x68(104): 0x40008000(1073774592)\n hash a00da7eb\n 15: read x@0x78(120): 0x10100000000000a(72339069014638602)\n begin translate_virtual_address\n hash a00da7eb\n 16: read iflags.PRV@0x1d0(464): 0x18(24)\n hash a00da7eb\n 17: read mstatus@0x130(304): 0xa00000820(42949675040)\n end translate_virtual_address\n begin find_pma_entry\n hash a00da7eb\n 18: read pma.istart@0x800(2048): 0x800000f9(2147483897)\n hash a00da7eb\n 19: read pma.ilength@0x808(2056): 0x4000000(67108864)\n hash a00da7eb\n 20: read pma.istart@0x810(2064): 0x1069(4201)\n hash a00da7eb\n 21: read pma.ilength@0x818(2072): 0xf000(61440)\n hash a00da7eb\n 22: read pma.istart@0x820(2080): 0x80000000000002d9(9223372036854776537)\n hash a00da7eb\n 23: read pma.ilength@0x828(2088): 0x5000000(83886080)\n hash a00da7eb\n 24: read pma.istart@0x830(2096): 0x4000841a(1073775642)\n hash a00da7eb\n 25: read pma.ilength@0x838(2104): 0x1000(4096)\n end find_pma_entry\n hash a00da7eb\n 26: write htif.tohost@0x40008000(1073774592): 0x10100000000000d(72339069014638605) -> 0x10100000000000a(72339069014638602)\n hash 8ebc16f9\n 27: read htif.iconsole@0x40008018(1073774616): 0x2(2)\n hash 8ebc16f9\n 28: write htif.fromhost@0x40008008(1073774600): 0x0(0) -> 0x101000000000000(72339069014638592)\n hash 7fa4fe27\n 29: write pc@0x100(256): 0x80002fa0(2147495840) -> 0x80002fa4(2147495844)\n end sd\n hash bac08fcc\n 30: read minstret@0x128(296): 0x2c70aef(46598895)\n hash bac08fcc\n 31: write minstret@0x128(296): 0x2c70aef(46598895) -> 0x2c70af0(46598896)\n hash 65519976\n 32: read mcycle@0x120(288): 0x2c70b1c(46598940)\n hash 65519976\n 33: write mcycle@0x120(288): 0x2c70b1c(46598940) -> 0x2c70b1d(46598941)\nend step\n",
"machine.host.lua.state-hashes-lua": "0: 1392f3d52dcaa5b070fa1e91b377e8d31fecf242a5ab4e3a84cd191d5699e456\n\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nNothing to do.\n\nHalted\nCycles: 62388529\n62388529: faa438df6e6dd027aab3710223852303964fe20f93af43c919120bc7ff3d27ba\n",
"machine.host.lua.state-hashes-utility": "0: 1392f3d52dcaa5b070fa1e91b377e8d31fecf242a5ab4e3a84cd191d5699e456\n\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nNothing to do.\n\nHalted\nCycles: 62388529\n62388529: faa438df6e6dd027aab3710223852303964fe20f93af43c919120bc7ff3d27ba\n",
"machine.host.lua.state-transition-dump-step": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n\n\nContents of step 46598940 access log:\n\nbegin step\n hash a00da7eb\n 1: read mcycle@0x120(288): 0x2c70b1c(46598940)\n hash a00da7eb\n 2: read iflags.H@0x1d0(464): 0x18(24)\n hash a00da7eb\n 3: read iflags.Y@0x1d0(464): 0x18(24)\n hash a00da7eb\n 4: read iflags.X (superfluous)@0x1d0(464): 0x18(24)\n hash a00da7eb\n 5: write iflags.X@0x1d0(464): 0x18(24) -> 0x18(24)\n begin set_rtc_interrupt\n end set_rtc_interrupt\n begin raise_interrupt_if_any\n hash a00da7eb\n 6: read mip@0x170(368): 0x0(0)\n hash a00da7eb\n 7: read mie@0x168(360): 0x2aa(682)\n end raise_interrupt_if_any\n begin fetch_insn\n hash a00da7eb\n 8: read pc@0x100(256): 0x80002fa0(2147495840)\n begin translate_virtual_address\n hash a00da7eb\n 9: read iflags.PRV@0x1d0(464): 0x18(24)\n hash a00da7eb\n 10: read mstatus@0x130(304): 0xa00000820(42949675040)\n end translate_virtual_address\n begin find_pma_entry\n hash a00da7eb\n 11: read pma.istart@0x800(2048): 0x800000f9(2147483897)\n hash a00da7eb\n 12: read pma.ilength@0x808(2056): 0x4000000(67108864)\n end find_pma_entry\n hash a00da7eb\n 13: read memory@0x80002fa0(2147495840): 0x7378300f6b023(2031360633384995)\n end fetch_insn\n begin sd\n hash a00da7eb\n 14: read x@0x68(104): 0x40008000(1073774592)\n hash a00da7eb\n 15: read x@0x78(120): 0x10100000000000a(72339069014638602)\n begin translate_virtual_address\n hash a00da7eb\n 16: read iflags.PRV@0x1d0(464): 0x18(24)\n hash a00da7eb\n 17: read mstatus@0x130(304): 0xa00000820(42949675040)\n end translate_virtual_address\n begin find_pma_entry\n hash a00da7eb\n 18: read pma.istart@0x800(2048): 0x800000f9(2147483897)\n hash a00da7eb\n 19: read pma.ilength@0x808(2056): 0x4000000(67108864)\n hash a00da7eb\n 20: read pma.istart@0x810(2064): 0x1069(4201)\n hash a00da7eb\n 21: read pma.ilength@0x818(2072): 0xf000(61440)\n hash a00da7eb\n 22: read pma.istart@0x820(2080): 0x80000000000002d9(9223372036854776537)\n hash a00da7eb\n 23: read pma.ilength@0x828(2088): 0x5000000(83886080)\n hash a00da7eb\n 24: read pma.istart@0x830(2096): 0x4000841a(1073775642)\n hash a00da7eb\n 25: read pma.ilength@0x838(2104): 0x1000(4096)\n end find_pma_entry\n hash a00da7eb\n 26: write htif.tohost@0x40008000(1073774592): 0x10100000000000d(72339069014638605) -> 0x10100000000000a(72339069014638602)\n hash 8ebc16f9\n 27: read htif.iconsole@0x40008018(1073774616): 0x2(2)\n hash 8ebc16f9\n 28: write htif.fromhost@0x40008008(1073774600): 0x0(0) -> 0x101000000000000(72339069014638592)\n hash 7fa4fe27\n 29: write pc@0x100(256): 0x80002fa0(2147495840) -> 0x80002fa4(2147495844)\n end sd\n hash bac08fcc\n 30: read minstret@0x128(296): 0x2c70aef(46598895)\n hash bac08fcc\n 31: write minstret@0x128(296): 0x2c70aef(46598895) -> 0x2c70af0(46598896)\n hash 65519976\n 32: read mcycle@0x120(288): 0x2c70b1c(46598940)\n hash 65519976\n 33: write mcycle@0x120(288): 0x2c70b1c(46598940) -> 0x2c70b1d(46598941)\nend step\n",
"machine.host.lua.remote-client": "Listening for checkin at 'localhost:8081'\nConnecting to remote cartesi machine at 'localhost:8080'\nConnected: remote version is 0.6.0\n\nHalted\nCycles: 62388529\nShutting down remote cartesi machine\n",
"machine.host.lua.remote-server": "\r\n .\r\n / \\\r\n / \\\r\n\\---/---\\ /----\\\r\n \\ X \\\r\n \\----/ \\---/---\\\r\n \\ / CARTESI\r\n \\ / MACHINE\r\n '\r\n\r\nNothing to do.\r\n",
"machine.target.linux.interactive-ls": "Running in interactive mode!\n\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\ncartesi-machine:~ # cd /bin\ncartesi-machine:/bin # ls\narch dmesg linux64 nuke stty\nash dnsdomainname ln pidof su\nbase32 dumpkmap login ping sync\nbase64 echo ls pipe_progress tar\nbusybox egrep lsattr printenv touch\ncat false lsblk ps true\nchattr fdflush mk_cmds pwd umount\nchgrp fgrep mkdir resume uname\nchmod findmnt mknod rm usleep\nchown getopt mktemp rmdir vi\ncompile_et grep more run-parts watch\ncp gunzip mount sed wdctl\ncpio gzip mountpoint setarch zcat\ncttyhack hostname mt setpriv\ndate kill mv setserial\ndd link netstat sh\ndf linux32 nice sleep\ncartesi-machine:/bin # cd /usr/bin\ncartesi-machine:/usr/bin # ls\n7zr fdtget lzcat sqlite3\n[ fdtoverlay lzcmp strace\n[[ fdtput lzdiff strace-log-merge\nar filecap lzegrep strings\nascii fileop lzfgrep svc\nattr fincore lzgrep svok\nawk find lzip tail\nbasename flask lzless taskset\nbc flock lzma tee\nbrotli fold lzmadec telnet\nbunzip2 free lzmainfo test\nbzcat fuser lzmore tftp\nbzcmp genext2fs lzop time\nbzdiff getfacl lzopcat tinymembench\nbzegrep getfattr make tjs\nbzfgrep getopt mcookie top\nbzgrep gpg md5sum tr\nbzip2 gpg-agent mesg traceroute\nbzip2recover gpg-connect-agent microcom truncate\nbzless gpg-error mkfifo ts\nbzmore gpg-wks-server mkpasswd tty\ncaptest gpgconf mpicalc uclampset\nccat gpgparsemail namei ul\nccdecrypt gpgrt-config netcap uname26\nccencrypt gpgscm newgrp uniq\nccguess gpgsm nl unix2dos\nccrypt gpgsplit nohup unlink\nchacl gpgtar normalizer unlzma\nchardetect gsl-histogram nproc unlzop\nchoom gsl-randist npth-config unrar\nchrt gunicorn nsenter unshare\nchvt head nslookup unxz\ncksum hexdump od unzip\nclear hexedit openvt uptime\ncmp hmac256 passwd utmpdump\ncol hostid paste uudecode\ncolcrt id patch uuencode\ncolrm install printf uuidgen\ncolumn ionice prlimit uuidparse\nconvert-dtsv0 iozone pscap vlock\ncrc32 ipcmk python w\ncrontab ipcrm python3 wall\ncut ipcs python3.10 watchgnupg\ndc irqtop ramspeed wc\ndeallocvt isosize readlink wget\ndevio jq realpath whereis\ndhrystone kbxutil rename whetstone\ndieharder killall renice which\ndiff ksba-config reset who\ndirmngr last resize whoami\ndirmngr-client lastb rev write\ndirname ldd script xargs\ndos2unix less scriptlive xxd\ndtc line scriptreplay xz\ndu linux32 seq xzcat\ndumpsexp linux64 setarch xzcmp\ne2cp logger setfacl xzdec\ne2ln logname setfattr xzdiff\ne2ls look setkeycodes xzegrep\ne2mkdir lscpu setpriv xzfgrep\ne2mv lsipc setsid xzgrep\ne2rm lsirq setterm xzless\ne2tail lslocks sha1sum xzmore\neject lsns sha256sum yes\nem lsof sha3sum zip\nenv lspci sha512sum zipcloak\nexpr lsscsi shred zipnote\nfactor lsusb sl zipsplit\nfallocate lua smtpd.py.10\nfdtdump luac sort\ncartesi-machine:/usr/bin # exit\n\nHalted\nCycles: 194196795\n",
"machine.target.linux.hello-cpp": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\n1: Hello world from C++!\n2: Hello world from C++!\n3: Hello world from C++!\n4: Hello world from C++!\n5: Hello world from C++!\n\nHalted\nCycles: 76503434\n",
"machine.target.architecture.dtc": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\n<stdout>: Warning (interrupt_provider): /cpus/cpu@0/interrupt-controller: Missing #address-cells in interrupt provider\n/dts-v1/;\n\n/ {\n\t#address-cells = <0x02>;\n\t#size-cells = <0x02>;\n\tcompatible = \"ucbbar,riscvemu-bar_dev\";\n\tmodel = \"ucbbar,riscvemu-bare\";\n\n\tcpus {\n\t\t#address-cells = <0x01>;\n\t\t#size-cells = <0x00>;\n\t\ttimebase-frequency = <0xf4240>;\n\n\t\tcpu@0 {\n\t\t\tdevice_type = \"cpu\";\n\t\t\treg = <0x00>;\n\t\t\tstatus = \"okay\";\n\t\t\tcompatible = \"riscv\";\n\t\t\triscv,isa = \"rv64aimsu\";\n\t\t\tmmu-type = \"riscv,sv39\";\n\t\t\tclock-frequency = <0x5f5e100>;\n\n\t\t\tinterrupt-controller {\n\t\t\t\t#interrupt-cells = <0x01>;\n\t\t\t\tinterrupt-controller;\n\t\t\t\tcompatible = \"riscv,cpu-intc\";\n\t\t\t\tphandle = <0x01>;\n\t\t\t};\n\t\t};\n\t};\n\n\tmemory@80000000 {\n\t\tdevice_type = \"memory\";\n\t\treg = <0x00 0x80000000 0x00 0x3ff0000>;\n\t};\n\n\tflash@8000000000000000 {\n\t\t#address-cells = <0x02>;\n\t\t#size-cells = <0x02>;\n\t\tcompatible = \"mtd-ram\";\n\t\tbank-width = <0x04>;\n\t\treg = <0x80000000 0x00 0x00 0x5000000>;\n\t\tlinux,mtd-name = \"flash.0\";\n\t};\n\n\trollup {\n\t\t#address-cells = <0x02>;\n\t\t#size-cells = <0x02>;\n\t\tcompatible = \"ctsi-rollup\";\n\n\t\trx_buffer@60000000 {\n\t\t\treg = <0x00 0x60000000 0x00 0x200000>;\n\t\t};\n\n\t\ttx_buffer@60200000 {\n\t\t\treg = <0x00 0x60200000 0x00 0x200000>;\n\t\t};\n\n\t\tinput_metadata@60400000 {\n\t\t\treg = <0x00 0x60400000 0x00 0x1000>;\n\t\t};\n\n\t\tvoucher_hashes@60600000 {\n\t\t\treg = <0x00 0x60600000 0x00 0x200000>;\n\t\t};\n\n\t\tnotice_hashes@60800000 {\n\t\t\treg = <0x00 0x60800000 0x00 0x200000>;\n\t\t};\n\t};\n\n\tyield {\n\t\tcompatible = \"ctsi-yield\";\n\t\tautomatic;\n\t\tmanual;\n\t};\n\n\tsoc {\n\t\t#address-cells = <0x02>;\n\t\t#size-cells = <0x02>;\n\t\tcompatible = \"ucbbar,riscvemu-bar-soc\\0simple-bus\";\n\t\tranges;\n\n\t\thtif@40008000 {\n\t\t\tcompatible = \"ucb,htif0\";\n\t\t\treg = <0x00 0x40008000 0x00 0x1000>;\n\t\t\tinterrupts-extended = <0x01 0x0d>;\n\t\t};\n\t};\n\n\tchosen {\n\t\tbootargs = \"console=hvc0 rootfstype=ext2 root=/dev/mtdblock0 rw quiet swiotlb=noforce mtdparts=flash.0:-(root) single=yes -- dtc -I dtb -O dts /sys/firmware/fdt\";\n\t};\n};\n\nHalted\nCycles: 71150848\n",
"tutorials.calculator.store": "0: 9e2918f0cf6ef9d8c9281e4d865f56e9a5cc9d3bef4e254c3483edd9cdb25df0\n\nCycles: 0\nStoring machine: please wait\n",
"tutorials.calculator.hash-full": "9e2918f0cf6ef9d8c9281e4d865f56e9a5cc9d3bef4e254c3483edd9cdb25df0",
"tutorials.calculator.hash-trunc": "9e2918f0",
"tutorials.dogecoin-hash.run-valid": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nReading input data...\nComputing scrypt hash...\nWriting computed scrypt hash to output...\nDONE!\n\nHalted\nCycles: 95616788\n",
"tutorials.dogecoin-hash.store": "0: b48fa074594a537fcc7c1069fc3eeabcbbcabff6f479c08a5c12efdd73b4ca20\n\nCycles: 0\nStoring machine: please wait\n",
"tutorials.dogecoin-hash.hash-full": "b48fa074594a537fcc7c1069fc3eeabcbbcabff6f479c08a5c12efdd73b4ca20",
"tutorials.dogecoin-hash.hash-trunc": "b48fa074",
"tutorials.generic-script.run": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\n{'some': 'payload'}\n\nHalted\nCycles: 406369095\n",
"tutorials.generic-script.store": "0: 4caa1154d98668b6114802c6aef70db8f2d32a32b8d79a328737f99c98bdc674\n\nCycles: 0\nStoring machine: please wait\n",
"tutorials.generic-script.hash-full": "4caa1154d98668b6114802c6aef70db8f2d32a32b8d79a328737f99c98bdc674",
"tutorials.generic-script.hash-trunc": "4caa1154",
"tutorials.gpg-verify.run-valid": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nFri Jan 1 00:00:00 UTC 2100\ngpg: directory '//.gnupg' created\ngpg: keybox '//.gnupg/pubring.kbx' created\ngpg: //.gnupg/trustdb.gpg: trustdb created\ngpg: key A86D9CB964EB527E marked as ultimately trusted\ngpg: key A86D9CB964EB527E: public key \"Descartes Tutorials <[email protected]>\" imported\ngpg: Total number processed: 1\ngpg: imported: 1\ngpg: marginals needed: 3 completes needed: 1 trust model: pgp\ngpg: depth: 0 valid: 1 signed: 0 trust: 0-, 0q, 0n, 0m, 0f, 1u\ngpg: Signature made Thu Jul 23 20:59:47 2020 UTC\ngpg: using RSA key DBBBB50DDC0910795F7C0B48A86D9CB964EB527E\ngpg: issuer \"[email protected]\"\ngpg: Good signature from \"Descartes Tutorials <[email protected]>\" [ultimate]\n0\n\nHalted\nCycles: 99863436\n",
"tutorials.gpg-verify.run-invalid": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nFri Jan 1 00:00:00 UTC 2100\ngpg: directory '//.gnupg' created\ngpg: keybox '//.gnupg/pubring.kbx' created\ngpg: //.gnupg/trustdb.gpg: trustdb created\ngpg: key A86D9CB964EB527E marked as ultimately trusted\ngpg: key A86D9CB964EB527E: public key \"Descartes Tutorials <[email protected]>\" imported\ngpg: Total number processed: 1\ngpg: imported: 1\ngpg: marginals needed: 3 completes needed: 1 trust model: pgp\ngpg: depth: 0 valid: 1 signed: 0 trust: 0-, 0q, 0n, 0m, 0f, 1u\ngpg: Signature made Thu Jul 23 20:59:47 2020 UTC\ngpg: using RSA key DBBBB50DDC0910795F7C0B48A86D9CB964EB527E\ngpg: issuer \"[email protected]\"\ngpg: BAD signature from \"Descartes Tutorials <[email protected]>\" [ultimate]\n1\n\nHalted\nCycles: 99260741\n",
"tutorials.gpg-verify.store": "0: b5907eafa8a2c0f43249afcef27d207785e427ca4a1d7db8a4a05c7f1b7e1df5\n\nCycles: 0\nStoring machine: please wait\n",
"tutorials.gpg-verify.hash-full": "b5907eafa8a2c0f43249afcef27d207785e427ca4a1d7db8a4a05c7f1b7e1df5",
"tutorials.gpg-verify.hash-trunc": "b5907eaf",
"tutorials.helloworld.run": "\n .\n / \\\n / \\\n\\---/---\\ /----\\\n \\ X \\\n \\----/ \\---/---\\\n \\ / CARTESI\n \\ / MACHINE\n '\n\nHello World!\n\nHalted\nCycles: 64915540\n",
"tutorials.helloworld.store": "0: e2809d82cbec43a4be2280cadeb89b981d738685a754422e69d318560062a3ad\n\nCycles: 0\nStoring machine: please wait\n",
"tutorials.helloworld.dir": "0000000000001000-f000.bin 0000000080000000-4000000.bin 8000000000000000-5000000.bin 9000000000000000-1000.bin config.protobuf hash\n",
"tutorials.helloworld.hash-full": "e2809d82cbec43a4be2280cadeb89b981d738685a754422e69d318560062a3ad",
"tutorials.helloworld.hash-trunc": "e2809d82"
}