skrll a73abb63de Added __packed in a couple of places to help AEABI		2013-04-17 06:12:42 +00:00
..
genassym.cf
rpi_machdep.c	Add a new installer image for Raspberry PI to evbarm	2013-03-19 22:16:52 +00:00
rpi_start.S	Map 1M beyond _end to make sure we bootstrap.	2012-09-23 15:56:32 +00:00
rpi_vcmbox.c	Add support for rpi cpu frequency scaling through machdep.cpu.frequency.*	2013-01-07 22:32:24 +00:00
rpi.h
vcio.h	Add the Raspberry PI firmware VC mailbox channel numbers.	2012-10-14 16:16:52 +00:00
vcpm.h	Use the VC power manager mailbox channel to power up the devices we have	2013-01-08 16:49:43 +00:00
vcprop.h	Added __packed in a couple of places to help AEABI	2013-04-17 06:12:42 +00:00