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 |