実行可能バイナリ

dload で読み込む実行可能なバイナリプログラムは、a.outファイルであり、dloadの入力アドレス (4000) を実行するようにリンクされていなければなりません。または、位置に依存しないようになっていなければなりません。バイナリプログラムを実行するには、次のように入力します。

 ok go

上記のプログラムをもう一度実行するには、次のように入力します。

ok init-program go

dload は、(起動コマンドの場合とは異なり) 中間起動プログラムを使用しません。したがって、a.out ファイル内のシンボル情報はすべてユーザインタフェースのシンボリックデバッグ機能で処理できます。(シンボリックデバッグについての詳細は、第 6 章「デバッグ」 を参照してください)。