directory /boot/ @ 14:8b2ce241f5f1 default tip

name size permissions
[up] drwxr-xr-x
file Makefile 1377 -rw-r--r--
file bootx64.c 4185 -rw-r--r--
file registers.h 1399 -rw-r--r--