-
---board=<BOARD_NAME>
- gnatemu command line option
-
--freeze-on-startup
- gnatemu command line option
-
--gdb, --gdb=<PORT>
- gnatemu command line option, [1]
-
--gnatbus=<HOST>:<PORT>[,<HOST2>:<PORT2>...]
- gnatemu command line option
|
-
--serial1, --serial2, --serialN
- gnatemu command line option
-
--serial=file:<FILE>, --serial=tcp:<HOST>:<PORT>[,server], --serial=stdio, --serial=null
- gnatemu command line option, [1], [2], [3]
-
--wdb, --wdb[=HOST_PORT]
- gnatemu command line option, [1]
-
-g
- gnatemu command line option
|