directory / @ 14:8b2ce241f5f1 default tip

name size permissions
dir. boot/ drwxr-xr-x
dir. include/ drwxr-xr-x
dir. kernel/ drwxr-xr-x
file .hgignore 45 -rw-r--r--
file Makefile 1325 -rw-r--r--
file README.txt 753 -rw-r--r--
file bootx64.c 3864 -rw-r--r--
file registers.h 1399 -rw-r--r--