Root/
| 1 | #!/bin/bash |
| 2 | ../host-app/xbboot set_addr 0x80002000 |
| 3 | ../host-app/xbboot bulk_write ../target-stage1/stage1.bin |
| 4 | ../host-app/xbboot start1 0x80002000 |
| 5 | ../host-app/xbboot get_info |
| 6 | ../host-app/xbboot set_addr 0x81c00000 |
| 7 | ../host-app/xbboot bulk_write ../target-echokernel/echo-kernel.bin |
| 8 | ../host-app/xbboot flush_cache |
| 9 | ../host-app/xbboot start2 0x81c00000 |
| 10 |
