« Configuring WIMPE | Main | plastic resin casting »

November 06, 2003

Running BrickOS inside GDB using H8/300 target

We want to use GDB as an animator to run instructions inside or nascent model checker for C programs on the Mindstorm running the BrickOS operating system. The first step is to run the BrickOS in GDB. Here's how we did it...

  1. build GDB with H8/300 target. (see EGM for details).
  2. fire up the new gdb.
  3. do target sim
  4. do load legOS.srec
  5. note the starting adress of the os.
  6. do set $pc=starting address
  7. do run

Posted by jones at November 6, 2003 02:27 PM

Comments

Post a comment

Thanks for signing in, . Now you can comment. (sign out)

(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)


Remember me?