| 
								
								
									 David Given | c72eaef8ee | Add routine to set the Raspberry Pi clock to 250MHz (loads faster than the default 19.2MHz). --HG--
branch : dtrg-videocore
rename : plat/rpi/libsys/pi_user_to_phys.s => plat/rpi/libsys/pi_fast_mode.s | 2013-06-24 23:57:27 +01:00 |  | 
				
					
						| 
								
								
									 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 |  | 
				
					
						| 
								
								
									 David Given | bd9497be77 | Renamed the pi-specific functions to be a bit cleaner. --HG--
branch : dtrg-videocore
rename : plat/rpi/libsys/phys_to_user.s => plat/rpi/libsys/pi_phys_to_user.s
rename : plat/rpi/libsys/uart.s => plat/rpi/libsys/pi_uart.s
rename : plat/rpi/libsys/user_to_phys.s => plat/rpi/libsys/pi_user_to_phys.s | 2013-05-26 00:22:39 +01:00 |  | 
				
					
						| 
								
								
									 David Given | ec25fec145 | Build binaries that will run bare metal. Add enough syscall library to init the uart and write text. --HG--
branch : dtrg-videocore
rename : plat/rpi/libsys/libsys.h => plat/rpi/libsys/libsysasm.h
rename : plat/rpi/libsys/_sys_rawread.s => plat/rpi/libsys/phys_to_user.s
rename : plat/rpi/libsys/_sys_rawread.s => plat/rpi/libsys/uart.s
rename : plat/rpi/libsys/_sys_rawread.s => plat/rpi/libsys/user_to_phys.s | 2013-05-25 00:35:29 +01:00 |  |