Custom VMMIO
Virtual Memory Mapped I/O (VMMIO) is a mechanism for emulating hardware devices. On a virtual device, custom virtual MMIO ranges can be added to the device and driven through a TCP socket.
When specifying a custom VMMIO range, you must specify a series of parameters:
start
- start address for beginning of vMMIO rangesize
- the size of the range to use for vMMIOirq
- system IRQs, 1-16 ranges must be specified
Corellium devices use TCP port 4300 for vMMIO.