debuggers.hg

directory /stubdom/grub/ @ 22848:6341fe0f4e5a

name size permissions
[up] drwxr-xr-x
file Makefile 2037 -rw-r--r--
file boot-x86_32.S 2576 -rw-r--r--
file boot-x86_64.S 2354 -rw-r--r--
file config.h 379 -rw-r--r--
file kexec.c 10348 -rw-r--r--
file mini-os.c 16648 -rw-r--r--
file mini-os.h 166 -rw-r--r--
file osdep.h 517 -rw-r--r--