David Given 3e40374297 Made the rpi platform work with the new libc layout.		2018-06-23 13:05:27 +02:00
..
_hol0.s
brk.c	Change sbrk() to take an int rather than an intptr_t (following the OpenBSD way	2016-11-23 22:06:24 +01:00
build.lua	Raspberry Pi backend now builds.	2016-08-20 12:40:13 +02:00
close.c
creat.c
errno.s
getpid.c
isatty.c
kill.c
libsys.h	Implement a very crude busy-wait based select() mechanism for consol input.	2013-06-09 22:16:30 +01:00
libsysasm.h	Build binaries that will run bare metal. Add enough syscall library to init the uart and write text.	2013-05-25 00:35:29 +01:00
lseek.c
open.c
pi_fast_mode.s	Add routine to set the Raspberry Pi clock to 250MHz (loads faster than the default 19.2MHz).	2013-06-24 23:57:27 +01:00
pi_phys_to_user.s	Renamed the pi-specific functions to be a bit cleaner.	2013-05-26 00:22:39 +01:00
pi_uart.s	Add routine to set the Raspberry Pi clock to 250MHz (loads faster than the default 19.2MHz).	2013-06-24 23:57:27 +01:00
pi_user_to_phys.s	Renamed the pi-specific functions to be a bit cleaner.	2013-05-26 00:22:39 +01:00
read.c	Made the rpi platform work with the new libc layout.	2018-06-23 13:05:27 +02:00
select.c	Made the rpi platform work with the new libc layout.	2018-06-23 13:05:27 +02:00
signal.c
tcgetattr.c	Some more termios compatibility options.	2013-05-30 23:25:22 +01:00
tcsetattr.c	Add basic termios to the rpi platform to allow echoing/newline translation to be controlled.	2013-05-30 23:19:55 +01:00
time.c
write.c	Made the rpi platform work with the new libc layout.	2018-06-23 13:05:27 +02:00