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
								
							 
						 | 
						
							
							
							
							
								
							
							
								0e10329876
								
							
						 | 
						
							
							
								
								Fix an issue throughout where B couldn't be built by ackprogram due to symbol
							
							
							
							
							
							
							
							laziness. 
							
						 | 
						
							2016-12-29 17:11:53 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								4485d89b23
								
							
						 | 
						
							
							
								
								Hook the B compiler up to the compiler driver.
							
							
							
							
							
						 | 
						
							2016-11-27 20:48:07 +01:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								5bce5fc4da
								
							
						 | 
						
							
							
								
								Change the extension used by Basic files for .b to .bas, to avoid conflicts
							
							
							
							
							
							
							
							with B. 
							
						 | 
						
							2016-11-27 20:38:33 +01: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
								
							 
						 | 
						
							
							
							
							
								
							
							
								f67c98e239
								
							
						 | 
						
							
							
								
								Distributions are a pain --- let's not bother any more. Instead, we just tag
							
							
							
							
							
							
							
							the repository and download a complete snapshot, old and ancient stuff and all. 
							
						 | 
						
							2016-09-02 23:00:38 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								612e38f1c6
								
							
						 | 
						
							
							
								
								Remove the old make-based build system, plus some big chunks of horribly
							
							
							
							
							
							
							
							obsolete protomake build system. 
							
						 | 
						
							2016-09-02 22:17:51 +02: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
								
							 
						 | 
						
							
							
							
							
								
							
							
								4b3c1a2d07
								
							
						 | 
						
							
							
								
								Add missing (but probably non-working) rpi file.
							
							
							
							
							
							
							
							--HG--
branch : default-branch 
							
						 | 
						
							2016-06-02 12:21: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
								
							 
						 | 
						
							
							
							
							
								
							
							
								d94c1c8150
								
							
						 | 
						
							
							
								
								Updated distr files.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore
rename : mach/i80/.distr => mach/vc4/.distr
rename : plat/cpm/.distr => plat/rpi/.distr 
							
						 | 
						
							2013-06-21 23:38:21 +01:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								2be811bac2
								
							
						 | 
						
							
							
								
								Updated VC4 docs.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-06-21 23:21:08 +01:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								052dd9bfc0
								
							
						 | 
						
							
							
								
								Actually remember to set the stack pointer on startup. Reduce to stack from 16kB to a much more reasonable 1kB.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-06-20 00:14:55 +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
								
							 
						 | 
						
							
							
							
							
								
							
							
								ed6c4a85d1
								
							
						 | 
						
							
							
								
								Change the size of the SRAM area to 128kB (to reflect reality).
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-06-06 00:05:48 +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
								
							 
						 | 
						
							
							
							
							
								
							
							
								ae993b1eb2
								
							
						 | 
						
							
							
								
								Add a crude README.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-26 19:54:22 +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
								
							 
						 | 
						
							
							
							
							
								
							
							
								e01f00e320
								
							
						 | 
						
							
							
								
								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).
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-26 18:58:54 +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
								
							 
						 | 
						
							
							
							
							
								
							
							
								e299cc3bcf
								
							
						 | 
						
							
							
								
								stdio (output only) now works.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-25 23:59:31 +01:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								6a672d5e96
								
							
						 | 
						
							
							
								
								Heap allocations now works.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-25 23:28:47 +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
								
							 
						 | 
						
							
							
							
							
								
							
							
								8f338f9b44
								
							
						 | 
						
							
							
								
								Now actually runs on real hardware.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-22 22:46:10 +01:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								b5e5df4a63
								
							
						 | 
						
							
							
								
								Allocate a user stack to run code in.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-22 18:25:30 +01:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								6b5316dcfa
								
							
						 | 
						
							
							
								
								More typo fixes.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-22 00:52:58 +01:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								72542288cd
								
							
						 | 
						
							
							
								
								Adjust bootstrap code to build kernels that work with the mailbox test app.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-22 00:16:59 +01:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								5e9102955c
								
							
						 | 
						
							
							
								
								Reworked VC4 relocations and some of the instruction encoding to be actually correct. Now generating what could be real code!
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-21 23:17:30 +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
								
							 
						 | 
						
							
							
							
							
								
							
							
								92817a6ad7
								
							
						 | 
						
							
							
								
								Allow platforms to specify size of long double; seperate alignment from size.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-21 19:18:11 +01:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								877e06ed89
								
							
						 | 
						
							
							
								
								Lots more opcodes including float support. Define float and double to be the
							
							
							
							
							
							
							
							same thing (as the VC4 seems not to have double-precision float support).
--HG--
branch : dtrg-videocore 
							
						 | 
						
							2013-05-21 18:16:30 +01:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Given
								
							 
						 | 
						
							
							
							
							
								
							
							
								61bff18082
								
							
						 | 
						
							
							
								
								Added skeleton bootstrap code.
							
							
							
							
							
							
							
							--HG--
branch : dtrg-videocore
rename : plat/pc86/boot.s => plat/rpi/boot.s 
							
						 | 
						
							2013-05-19 23:33:29 +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 | 
						
						
							
							
							
								
							
							
						 |