David Given 38e4726f5c Boot code now works properly in both kernel and bare-metal mode. ... --HG-- branch : dtrg-videocore		2013-05-26 19:41:37 +01:00
..
include	Boot code now works properly in both kernel and bare-metal mode.	2013-05-26 19:41:37 +01:00
libsys	Allow reading from the mini UART. Add a check to not touch the UART unless it's been initialised (in case of accidents when running in kernel mode).	2013-05-26 18:58:54 +01:00
boot.s	Boot code now works properly in both kernel and bare-metal mode.	2013-05-26 19:41:37 +01:00
build.mk	Renamed the pi-specific functions to be a bit cleaner.	2013-05-26 00:22:39 +01:00
descr	Allow platforms to specify size of long double; seperate alignment from size.	2013-05-21 19:18:11 +01:00