base 0x8000 entry 0xc0008000 device /dev/ttyS0 options "9600 8N1" baud 115200 #otherfile ./ramdisk.gz otherfile ../ramdisk_img_splay.gz otherbase 0x200000