diff --git a/.distr b/.distr
index dbe964f93..1009a685e 100644
--- a/.distr
+++ b/.distr
@@ -48,6 +48,7 @@ mach/i80
 mach/i86
 mach/i386
 mach/m68020
+mach/vc4
 
 plat
 plat/cpm
@@ -55,5 +56,7 @@ plat/pc86
 plat/linux
 plat/linux386
 plat/linux68k
+plat/rpi
 
 examples
+man
diff --git a/lang/cem/libcc.ansi/headers/.distr b/lang/cem/libcc.ansi/headers/.distr
index cf35cec17..22ee8d0c4 100644
--- a/lang/cem/libcc.ansi/headers/.distr
+++ b/lang/cem/libcc.ansi/headers/.distr
@@ -20,3 +20,4 @@ stdbool.h
 fcntl.h
 tgmath.h
 locale.h
+malloc.h
diff --git a/lang/cem/libcc.ansi/stdio/.distr b/lang/cem/libcc.ansi/stdio/.distr
index 5ad14e146..4206946e7 100644
--- a/lang/cem/libcc.ansi/stdio/.distr
+++ b/lang/cem/libcc.ansi/stdio/.distr
@@ -39,6 +39,7 @@ rewind.c
 scanf.c
 setbuf.c
 setvbuf.c
+snprintf.c
 sprintf.c
 sscanf.c
 tmpfile.c
@@ -47,3 +48,4 @@ ungetc.c
 vfprintf.c
 vprintf.c
 vsprintf.c
+vsnprintf.c
diff --git a/lang/cem/libcc.ansi/stdlib/.distr b/lang/cem/libcc.ansi/stdlib/.distr
index a556b3058..dd4a54186 100644
--- a/lang/cem/libcc.ansi/stdlib/.distr
+++ b/lang/cem/libcc.ansi/stdlib/.distr
@@ -17,6 +17,7 @@ mbstowcs.c
 mbtowc.c
 qsort.c
 rand.c
+setenv.c
 strtod.c
 strtol.c
 system.c
diff --git a/lang/cem/libcc.ansi/string/.distr b/lang/cem/libcc.ansi/string/.distr
index f7ff5cc28..ef6a1164e 100644
--- a/lang/cem/libcc.ansi/string/.distr
+++ b/lang/cem/libcc.ansi/string/.distr
@@ -9,6 +9,7 @@ strcmp.c
 strcoll.c
 strcpy.c
 strcspn.c
+strdup.c
 strerror.c
 strlen.c
 strncat.c
diff --git a/mach/.distr b/mach/.distr
index fb9d533eb..d2137b302 100644
--- a/mach/.distr
+++ b/mach/.distr
@@ -25,6 +25,7 @@ s2650
 sun3
 sun2
 vax4
+vc4
 xenix3
 z80
 z8000
diff --git a/mach/vc4/.distr b/mach/vc4/.distr
new file mode 100644
index 000000000..38864464f
--- /dev/null
+++ b/mach/vc4/.distr
@@ -0,0 +1,5 @@
+build.mk
+as
+ncg
+libem
+libend
diff --git a/mach/vc4/as/.distr b/mach/vc4/as/.distr
index 8ebe3797c..6ef7a1516 100644
--- a/mach/vc4/as/.distr
+++ b/mach/vc4/as/.distr
@@ -4,3 +4,4 @@ mach2.c
 mach3.c
 mach4.c
 mach5.c
+binary.h
diff --git a/mach/vc4/libem/.distr b/mach/vc4/libem/.distr
new file mode 100644
index 000000000..5dff9f5ac
--- /dev/null
+++ b/mach/vc4/libem/.distr
@@ -0,0 +1,3 @@
+csa.s
+csb.s
+videocore.h
diff --git a/man/.distr b/man/.distr
index f3262226b..4e52c6c32 100644
--- a/man/.distr
+++ b/man/.distr
@@ -1,15 +1,8 @@
-6500_as.6
-6800_as.6
-6805_as.6
-6809_as.6
 i80_as.6
-z8000_as.6
 i86_as.6
 i386_as.6
 m68020_as.6
-ns_as.6
 vc4_as.6
-pdp_as.6
 z80_as.6
 em_cg.6
 em_ncg.6
@@ -18,4 +11,3 @@ libpc.7
 head
 pc_prlib.7
 uni_ass.6
-proto.make
diff --git a/plat/rpi/.distr b/plat/rpi/.distr
new file mode 100644
index 000000000..529eec7e9
--- /dev/null
+++ b/plat/rpi/.distr
@@ -0,0 +1,31 @@
+descr
+boot.s
+build.mk
+README
+include/ack/config.h
+include/sys/select.h
+include/unistd.h
+include/pi.h
+include/termios.h
+libsys/brk.c
+libsys/close.c
+libsys/creat.c
+libsys/errno.s
+libsys/getpid.c
+libsys/_hol0.s
+libsys/isatty.c
+libsys/kill.c
+libsys/libsysasm.h
+libsys/libsys.h
+libsys/lseek.c
+libsys/open.c
+libsys/pi_phys_to_user.s
+libsys/pi_uart.s
+libsys/pi_user_to_phys.s
+libsys/read.c
+libsys/select.c
+libsys/signal.c
+libsys/tcgetattr.c
+libsys/tcsetattr.c
+libsys/time.c
+libsys/write.c
diff --git a/plat/rpi/boot.s b/plat/rpi/boot.s
index 8bee47aba..a76d1e7a7 100644
--- a/plat/rpi/boot.s
+++ b/plat/rpi/boot.s
@@ -110,6 +110,10 @@ __exit:
 .define _pi_kernel_parameters
 .comm _pi_kernel_parameters, 4
 
+.define .linenumber, .filename
+.comm .linenumber, 4         ! current linenumber (used for debugging)
+.comm .filename, 4           ! ptr to current filename (used for debugging)
+
 ! User stack.
 
 .comm .stack, STACKSIZE