#CRB board configuration #$FreeBSD: head/sys/arm/xscale/i8134x/std.crb 171626 2007-07-27 14:50:57Z cognet $ include "../xscale/i8134x/std.i81342" files "../xscale/i8134x/files.crb" makeoptions KERNPHYSADDR=0x00200000 makeoptions KERNVIRTADDR=0xc0200000