#$FreeBSD$ include "../at91/std.at91sam9" options STARTUP_PAGETABLE_ADDR=0x20800000 makeoptions KERNPHYSADDR=0x20000000 makeoptions KERNVIRTADDR=0xc0000000 options KERNPHYSADDR=0x20000000 options KERNVIRTADDR=0xc0000000 #SAM9G20 w/ 18.432 Mhz Clock #options AT91C_MASTER_CLOCK=((18432000*43)/6) #SAM9260 w/ 18.432 Mhz Clock #options AT91C_MASTER_CLOCK=((18432000*97)/18) device at91_board_sam9g20ek