Binary Executables

Executable binary programs loaded with dload are a.out files and must be linked to run dload's input address (4000) or be position independent. To execute the binary program, type:

ok go 

To run the program again, type:

ok init-program go 

dload does not use intermediate booters (unlike the boot command). Thus, any symbol information included in the a.out file is available to the User Interface's symbolic debugging capability. (See Chapter 6, Debugging'' for more information on symbolic debugging.)