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