1#CRB board configuration
2#$FreeBSD$
3include		"../xscale/i8134x/std.i81342"
4files		"../xscale/i8134x/files.crb"
5makeoptions	KERNPHYSADDR=0x00200000
6makeoptions	KERNVIRTADDR=0xc0200000
7