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 | 
						
						
							
							
							
								
							
							
						 |