| 
								
								
									 David Given | 64ae1d7583 | Move time() into sys; change the name of the variable which controls it. | 2018-06-23 19:40:50 +02:00 |  | 
				
					
						| 
								
								
									 David Given | 3e40374297 | Made the rpi platform work with the new libc layout. | 2018-06-23 13:05:27 +02:00 |  | 
				
					
						| 
								
								
									 David Given | 9bf1d548fc | Rearrange the libc config files, ready for adding new options. | 2018-06-22 23:43:15 +02:00 |  | 
				
					
						| 
								
								
									 David Given | 11854f4dfe | Ansify and warning fix. | 2018-06-17 22:30:27 +02:00 |  | 
				
					
						| 
								
								
									 David Given | 13e195d19f | Warning fixes. | 2018-06-17 15:42:26 +02:00 |  | 
				
					
						| 
								
								
									 David Given | 36ab90385f | Change sbrk() to take an int rather than an intptr_t (following the OpenBSD way rather than the Linux way; various non-C bits of the ACK assume it takes an
int, so it's cleaner). | 2016-11-23 22:06:24 +01:00 |  | 
				
					
						| 
								
								
									 David Given | 52eaf753b6 | rpi has a time() function; don't try to call gettimeofday(). | 2016-08-20 14:03:19 +02:00 |  | 
				
					
						| 
								
								
									 David Given | 204f932ed2 | Raspberry Pi backend now builds. | 2016-08-20 12:40:13 +02:00 |  | 
				
					
						| 
								
								
									 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 | eaf4339cd6 | Implement a very crude busy-wait based select() mechanism for consol input. --HG--
branch : dtrg-videocore
rename : plat/rpi/include/ack/config.h => plat/rpi/include/sys/select.h
rename : plat/rpi/libsys/time.c => plat/rpi/libsys/select.c | 2013-06-09 22:16:30 +01:00 |  | 
				
					
						| 
								
								
									 David Given | d5a112dbfd | Some more termios compatibility options. --HG--
branch : dtrg-videocore | 2013-05-30 23:25:22 +01:00 |  | 
				
					
						| 
								
								
									 David Given | 2054618e75 | Add basic termios to the rpi platform to allow echoing/newline translation to be controlled. --HG--
branch : dtrg-videocore
rename : plat/rpi/include/unistd.h => plat/rpi/include/termios.h
rename : plat/rpi/libsys/write.c => plat/rpi/libsys/tcgetattr.c
rename : plat/rpi/libsys/write.c => plat/rpi/libsys/tcsetattr.c | 2013-05-30 23:19:55 +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 |  | 
				
					
						| 
								
								
									 David Given | 1312fe298b | Now compiles (incorrectly) the entire libc, libpc, libm2 and libbasic! --HG--
branch : dtrg-videocore | 2013-05-21 20:05:26 +01:00 |  | 
				
					
						| 
								
								
									 David Given | 32ebc502c8 | Skeleton of VideoCore IV support for the Raspberry Pi. --HG--
branch : dtrg-videocore
rename : mach/powerpc/as/.distr => mach/vc4/as/.distr
rename : mach/powerpc/as/mach0.c => mach/vc4/as/mach0.c
rename : mach/powerpc/as/mach1.c => mach/vc4/as/mach1.c
rename : mach/powerpc/as/mach2.c => mach/vc4/as/mach2.c
rename : mach/powerpc/as/mach3.c => mach/vc4/as/mach3.c
rename : mach/powerpc/as/mach4.c => mach/vc4/as/mach4.c
rename : mach/powerpc/as/mach5.c => mach/vc4/as/mach5.c
rename : mach/i86/build.mk => mach/vc4/build.mk
rename : mach/powerpc/libem/powerpc.h => mach/vc4/libem/videocore.h
rename : mach/i86/libend/.distr => mach/vc4/libend/.distr
rename : mach/i86/libend/edata.s => mach/vc4/libend/edata.s
rename : mach/i86/libend/em_end.s => mach/vc4/libend/em_end.s
rename : mach/i86/libend/end.s => mach/vc4/libend/end.s
rename : mach/i86/libend/etext.s => mach/vc4/libend/etext.s
rename : mach/powerpc/ncg/.distr => mach/vc4/ncg/.distr
rename : mach/powerpc/ncg/mach.c => mach/vc4/ncg/mach.c
rename : mach/powerpc/ncg/mach.h => mach/vc4/ncg/mach.h
rename : mach/powerpc/ncg/table => mach/vc4/ncg/table
rename : plat/pc86/descr => plat/rpi/descr | 2013-05-17 00:03:38 +01:00 |  |