![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile | 07-Oct-2003 18:10 | 3.2K | |
| Makefile.linux | 07-Oct-2003 18:10 | 3.2K | |
| Makefile.orig | 07-Oct-2003 18:10 | 3.0K | |
| Makefile.sgi | 07-Oct-2003 18:10 | 3.0K | |
| Makefile.sun | 07-Oct-2003 18:10 | 3.2K | |
| hint.c | 07-Oct-2003 18:10 | 14K | |
| hint.h | 07-Oct-2003 18:10 | 8.1K | |
| hint_orig.c | 07-Oct-2003 18:10 | 14K | |
| hint_orig.h | 07-Oct-2003 18:10 | 8.1K | |
| hkernel.c | 07-Oct-2003 18:10 | 6.3K | |
| run.pl | 07-Oct-2003 18:10 | 449 | |
| run.sh | 07-Oct-2003 18:10 | 382 | |
| typedefs.h | 07-Oct-2003 18:10 | 2.4K | |