paul@272 | 1 | |
paul@272 | 2 | modaddr 0x1100000 |
paul@272 | 3 | |
paul@272 | 4 | entry mips-x1600-msc-block |
paul@272 | 5 | bootstrap bootstrap -serial |
paul@272 | 6 | kernel fiasco -serial_esc |
paul@272 | 7 | roottask moe rom/mips-x1600-msc-block.cfg |
paul@272 | 8 | module mips-x1600-msc-block.cfg |
paul@272 | 9 | module mips-x1600-msc-block.io |
paul@272 | 10 | module plat-ingenic-x1600/hw_devices.io |
paul@272 | 11 | module l4re |
paul@272 | 12 | module io |
paul@272 | 13 | module ned |
paul@272 | 14 | module msc_block_server |
paul@274 | 15 | module ext2_server |
paul@274 | 16 | module pipe_server |
paul@274 | 17 | module process_server |
paul@274 | 18 | module fsaccess |