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
..
ack	rpi has a time() function; don't try to call gettimeofday().	2016-08-20 14:03:19 +02:00
sys	Implement a very crude busy-wait based select() mechanism for consol input.	2013-06-09 22:16:30 +01:00
build.lua	Raspberry Pi backend now builds.	2016-08-20 12:40:13 +02:00
pi.h	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
termios.h	Some more termios compatibility options.	2013-05-30 23:25:22 +01:00
unistd.h	Change sbrk() to take an int rather than an intptr_t (following the OpenBSD way	2016-11-23 22:06:24 +01:00