forgotten files

[rpikern] / install

diff --git a/install b/install
new file mode 100755 (executable)
index 0000000..837479c
--- /dev/null
+++ b/install
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+mount /media/usbmass && \
+       cp rpikern.bin /media/usbmass/kernel7.img && \
+       umount /media/usbmass && sync