#CRB board configuration #$FreeBSD$ include "../xscale/i8134x/std.i81342" files "../xscale/i8134x/files.crb" makeoptions KERNPHYSADDR=0x00200000 makeoptions KERNVIRTADDR=0xc0200000