jtc e2d94bde8f Files needed for i386 port		1993-09-03 19:04:23 +00:00
..
Makefile.inc	Files needed for i386 port	1993-09-03 19:04:23 +00:00
setjmp.s	i386 kernel uses a different setjmp() than the C library does.	1993-09-02 01:01:47 +00:00