|
|
|
@ -20,8 +20,8 @@ the simulator. |
|
|
|
|
not found too, it reverts to the built-in default configuration. |
|
|
|
|
|
|
|
|
|
NOTE: Users should not rely on the built-in configuration, since the |
|
|
|
|
default configuration may differ between version. |
|
|
|
|
Rather create a configuration file that sets all critical values. |
|
|
|
|
default configuration may differ between version. |
|
|
|
|
Rather create a configuration file that sets all critical values. |
|
|
|
|
|
|
|
|
|
This file may contain (standard C) comments only - no // support. |
|
|
|
|
|
|
|
|
@ -306,7 +306,7 @@ end |
|
|
|
|
debug = 0-9 |
|
|
|
|
0 : no debug messages |
|
|
|
|
1-9: debug message level. |
|
|
|
|
higher numbers produce more messages |
|
|
|
|
higher numbers produce more messages |
|
|
|
|
|
|
|
|
|
profile = 0/1 |
|
|
|
|
'0': don't generate profiling file 'sim.profile' |
|
|
|
@ -375,11 +375,11 @@ end |
|
|
|
|
Core Verification. |
|
|
|
|
|
|
|
|
|
enabled = 0/1 |
|
|
|
|
'0': disbable VAPI server |
|
|
|
|
'1': enable/start VAPI server |
|
|
|
|
'0': disbable VAPI server |
|
|
|
|
'1': enable/start VAPI server |
|
|
|
|
|
|
|
|
|
server_port = <value> |
|
|
|
|
TCP/IP port to start VAPI server on |
|
|
|
|
TCP/IP port to start VAPI server on |
|
|
|
|
|
|
|
|
|
log_enabled = 0/1 |
|
|
|
|
'0': disable VAPI requests logging |
|
|
|
@ -565,56 +565,56 @@ end |
|
|
|
|
This section configures the UARTs |
|
|
|
|
|
|
|
|
|
enabled = <0|1> |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
|
|
|
|
|
baseaddr = <hex_value> |
|
|
|
|
address of first UART register for this device |
|
|
|
|
address of first UART register for this device |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
channel = <channeltype>:<args> |
|
|
|
|
|
|
|
|
|
The channel parameter indicates the source of received UART characters |
|
|
|
|
and the sink for transmitted UART characters. |
|
|
|
|
The channel parameter indicates the source of received UART characters |
|
|
|
|
and the sink for transmitted UART characters. |
|
|
|
|
|
|
|
|
|
The <channeltype> can be either "file", "xterm", "tcp", "fd", or "tty" |
|
|
|
|
(without quotes). |
|
|
|
|
The <channeltype> can be either "file", "xterm", "tcp", "fd", or "tty" |
|
|
|
|
(without quotes). |
|
|
|
|
|
|
|
|
|
A) To send/receive characters from a pair of files, use a file |
|
|
|
|
channel: |
|
|
|
|
A) To send/receive characters from a pair of files, use a file |
|
|
|
|
channel: |
|
|
|
|
|
|
|
|
|
channel=file:<rxfile>,<txfile> |
|
|
|
|
channel=file:<rxfile>,<txfile> |
|
|
|
|
|
|
|
|
|
B) To create an interactive terminal window, use an xterm channel: |
|
|
|
|
|
|
|
|
|
channel=xterm:[<xterm_arg>]* |
|
|
|
|
channel=xterm:[<xterm_arg>]* |
|
|
|
|
|
|
|
|
|
C) To create a bidirectional tcp socket which one could, for example, |
|
|
|
|
access via telnet, use a tcp channel: |
|
|
|
|
access via telnet, use a tcp channel: |
|
|
|
|
|
|
|
|
|
channel=tcp:<port number> |
|
|
|
|
channel=tcp:<port number> |
|
|
|
|
|
|
|
|
|
D) To cause the UART to read/write from existing numeric file |
|
|
|
|
descriptors, use an fd channel: |
|
|
|
|
descriptors, use an fd channel: |
|
|
|
|
|
|
|
|
|
channel=fd:<rx file descriptor num>,<tx file descriptor num> |
|
|
|
|
channel=fd:<rx file descriptor num>,<tx file descriptor num> |
|
|
|
|
|
|
|
|
|
E) To connect the UART to a physical serial port, create a tty |
|
|
|
|
channel: |
|
|
|
|
E) To connect the UART to a physical serial port, create a tty |
|
|
|
|
channel: |
|
|
|
|
|
|
|
|
|
channel=tty:device=/dev/ttyS0,baud=9600 |
|
|
|
|
|
|
|
|
|
irq = <value> |
|
|
|
|
irq number for this device |
|
|
|
|
irq number for this device |
|
|
|
|
|
|
|
|
|
16550 = 0/1 |
|
|
|
|
'0': this device is a UART16450 |
|
|
|
|
'1': this device is a UART16550 |
|
|
|
|
'0': this device is a UART16450 |
|
|
|
|
'1': this device is a UART16550 |
|
|
|
|
|
|
|
|
|
jitter = <value> |
|
|
|
|
in msecs... time to block, -1 to disable it |
|
|
|
|
in msecs... time to block, -1 to disable it |
|
|
|
|
|
|
|
|
|
vapi_id = <hex_value> |
|
|
|
|
VAPI id of this instance |
|
|
|
|
VAPI id of this instance |
|
|
|
|
*/ |
|
|
|
|
|
|
|
|
|
section uart |
|
|
|
@ -634,16 +634,16 @@ end |
|
|
|
|
This section configures the DMAs |
|
|
|
|
|
|
|
|
|
enabled = <0|1> |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
|
|
|
|
|
baseaddr = <hex_value> |
|
|
|
|
address of first DMA register for this device |
|
|
|
|
address of first DMA register for this device |
|
|
|
|
|
|
|
|
|
irq = <value> |
|
|
|
|
irq number for this device |
|
|
|
|
irq number for this device |
|
|
|
|
|
|
|
|
|
vapi_id = <hex_value> |
|
|
|
|
VAPI id of this instance |
|
|
|
|
VAPI id of this instance |
|
|
|
|
*/ |
|
|
|
|
|
|
|
|
|
section dma |
|
|
|
@ -658,37 +658,37 @@ end |
|
|
|
|
This section configures the ETHERNETs |
|
|
|
|
|
|
|
|
|
enabled = <0|1> |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
|
|
|
|
|
baseaddr = <hex_value> |
|
|
|
|
address of first ethernet register for this device |
|
|
|
|
address of first ethernet register for this device |
|
|
|
|
|
|
|
|
|
dma = <value> |
|
|
|
|
which controller is this ethernet "connected" to |
|
|
|
|
which controller is this ethernet "connected" to |
|
|
|
|
|
|
|
|
|
irq = <value> |
|
|
|
|
ethernet mac IRQ level |
|
|
|
|
ethernet mac IRQ level |
|
|
|
|
|
|
|
|
|
rtx_type = <value> |
|
|
|
|
use 0 - file interface, 1 - socket interface |
|
|
|
|
use 0 - file interface, 1 - socket interface |
|
|
|
|
|
|
|
|
|
rx_channel = <value> |
|
|
|
|
DMA channel used for RX |
|
|
|
|
DMA channel used for RX |
|
|
|
|
|
|
|
|
|
tx_channel = <value> |
|
|
|
|
DMA channel used for TX |
|
|
|
|
DMA channel used for TX |
|
|
|
|
|
|
|
|
|
rxfile = "<filename>" |
|
|
|
|
filename, where to read data from |
|
|
|
|
filename, where to read data from |
|
|
|
|
|
|
|
|
|
txfile = "<filename>" |
|
|
|
|
filename, where to write data to |
|
|
|
|
filename, where to write data to |
|
|
|
|
|
|
|
|
|
sockif = "<ifacename>" |
|
|
|
|
interface name of ethernet socket |
|
|
|
|
interface name of ethernet socket |
|
|
|
|
|
|
|
|
|
vapi_id = <hex_value> |
|
|
|
|
VAPI id of this instance |
|
|
|
|
VAPI id of this instance |
|
|
|
|
*/ |
|
|
|
|
|
|
|
|
|
section ethernet |
|
|
|
@ -711,16 +711,16 @@ end |
|
|
|
|
This section configures the GPIOs |
|
|
|
|
|
|
|
|
|
enabled = <0|1> |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
|
|
|
|
|
baseaddr = <hex_value> |
|
|
|
|
address of first GPIO register for this device |
|
|
|
|
address of first GPIO register for this device |
|
|
|
|
|
|
|
|
|
irq = <value> |
|
|
|
|
irq number for this device |
|
|
|
|
irq number for this device |
|
|
|
|
|
|
|
|
|
base_vapi_id = <hex_value> |
|
|
|
|
first VAPI id of this instance |
|
|
|
|
first VAPI id of this instance |
|
|
|
|
GPIO uses 8 consecutive VAPI IDs |
|
|
|
|
*/ |
|
|
|
|
|
|
|
|
@ -736,19 +736,19 @@ end |
|
|
|
|
This section configures the VGA/LCD controller |
|
|
|
|
|
|
|
|
|
enabled = <0|1> |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
|
|
|
|
|
baseaddr = <hex_value> |
|
|
|
|
address of first VGA register |
|
|
|
|
address of first VGA register |
|
|
|
|
|
|
|
|
|
irq = <value> |
|
|
|
|
irq number for this device |
|
|
|
|
irq number for this device |
|
|
|
|
|
|
|
|
|
refresh_rate = <value> |
|
|
|
|
number of cycles between screen dumps |
|
|
|
|
number of cycles between screen dumps |
|
|
|
|
|
|
|
|
|
filename = "<filename>" |
|
|
|
|
template name for generated names (e.g. "primary" produces "primary0023.bmp") |
|
|
|
|
template name for generated names (e.g. "primary" produces "primary0023.bmp") |
|
|
|
|
*/ |
|
|
|
|
|
|
|
|
|
section vga |
|
|
|
@ -825,39 +825,39 @@ end |
|
|
|
|
This section configures the ATA/ATAPI host controller |
|
|
|
|
|
|
|
|
|
baseaddr = <hex_value> |
|
|
|
|
address of first ATA register |
|
|
|
|
address of first ATA register |
|
|
|
|
|
|
|
|
|
enabled = <0|1> |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
Enable/disable the peripheral. By default if it is enabled. |
|
|
|
|
|
|
|
|
|
irq = <value> |
|
|
|
|
irq number for this device |
|
|
|
|
irq number for this device |
|
|
|
|
|
|
|
|
|
debug = <value> |
|
|
|
|
debug level for ata models. |
|
|
|
|
debug level for ata models. |
|
|
|
|
0: no debug messages |
|
|
|
|
1: verbose messages |
|
|
|
|
3: normal messages (more messages than verbose) |
|
|
|
|
5: debug messages (normal debug messages) |
|
|
|
|
5: debug messages (normal debug messages) |
|
|
|
|
7: flow control messages (debug statemachine flows) |
|
|
|
|
9: low priority message (display everything the code does) |
|
|
|
|
|
|
|
|
|
dev_type0/1 = <value> |
|
|
|
|
ata device 0 type |
|
|
|
|
0: NO_CONNeCT: none (not connected) |
|
|
|
|
ata device 0 type |
|
|
|
|
0: NO_CONNeCT: none (not connected) |
|
|
|
|
1: FILE : simulated harddisk |
|
|
|
|
2: LOCAL : local system harddisk |
|
|
|
|
|
|
|
|
|
dev_file0/1 = "<filename>" |
|
|
|
|
filename for simulated ATA device |
|
|
|
|
filename for simulated ATA device |
|
|
|
|
valid only if dev_type0 == 1 |
|
|
|
|
|
|
|
|
|
dev_size0/1 = <value> |
|
|
|
|
size of simulated hard-disk (in MBytes) |
|
|
|
|
size of simulated hard-disk (in MBytes) |
|
|
|
|
valid only if dev_type0 == 1 |
|
|
|
|
|
|
|
|
|
dev_packet0/1 = <value> |
|
|
|
|
0: simulated ATA device does NOT implement PACKET command feature set |
|
|
|
|
0: simulated ATA device does NOT implement PACKET command feature set |
|
|
|
|
1: simulated ATA device does implement PACKET command feature set |
|
|
|
|
|
|
|
|
|
FIXME: irq number |
|
|
|
|