debuggers.hg
directory /stubdom/ @ 17996:d90c5e8d4ac2
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 c/
|
drwxr-xr-x | |
|
caml/
|
drwxr-xr-x | |
|
grub/
|
drwxr-xr-x | |
|
grub.patches/
|
drwxr-xr-x | |
 Makefile
|
9022 | -rw-r--r-- |
|
README
|
3289 | -rw-r--r-- |
|
binutils.patch
|
459 | -rw-r--r-- |
|
gcc.patch
|
963 | -rw-r--r-- |
|
libpci.config.h
|
133 | -rw-r--r-- |
|
libpci.config.mak
|
120 | -rw-r--r-- |
|
newlib.patch
|
5559 | -rw-r--r-- |
|
pciutils.patch
|
9123 | -rw-r--r-- |
|
stubdom-dm
|
1899 | -rw-r--r-- |