CanonicalMachine
Defines several constants related to the reference implementation of the RISC-V machine that runs Linux, also known as the "Cartesi Machine".
State Variables
INPUT_MAX_SIZE
Maximum input size (64 kilobytes).
uint64 constant INPUT_MAX_SIZE = 1 << 16
LOG2_MEMORY_SIZE
Log2 of memory size.
uint8 constant LOG2_MEMORY_SIZE = 64
LOG2_MAX_OUTPUTS
Log2 of maximum number of outputs.
uint8 constant LOG2_MAX_OUTPUTS = 63
LOG2_DATA_BLOCK_SIZE
Log2 of data block size.
uint8 constant LOG2_DATA_BLOCK_SIZE = Memory.LOG2_LEAF
MEMORY_TREE_HEIGHT
Log2 of memory tree height.
uint8 constant MEMORY_TREE_HEIGHT = LOG2_MEMORY_SIZE - LOG2_DATA_BLOCK_SIZE
TX_BUFFER_START
TX buffer start.
uint64 constant TX_BUFFER_START = EmulatorConstants.PMA_CMIO_TX_BUFFER_START