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