David Given 3df4906d52 Turns out I wasn't building the syscall libraries. Do so.		2016-08-14 11:23:57 +02:00
..
.distr
_exit.c
_hol0.s
brk.c
build.mk
close.c
creat.c
errno.s
getpid.c
gettimeofday.c
isatty.c
kill.c
libsys.h
lseek.c
open.c
read.c
sbrk.c
signal.c
syscalls.h
write.c