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