Ben Gras 6d50591226 . let kernel use read_tsc() from sysutil library ... . read_tsc() in sysutil library saves edx and eax now . added read_tsc_64() by Antonio Mancina to load tsc into a 64-bit data type directly . deleted read_tsc.h in favour of a prototype in <minix/syslib.h>		2007-03-08 15:39:14 +00:00
..
include	arch/i386/include/protect.h is unnecessary; add make.conf to etc/ and	2006-12-22 15:48:27 +00:00
clock.c
do_int86.c
do_iopenable.c
do_readbios.c
do_sdevio.c
exception.c
i8259.c
klib386.s	. let kernel use read_tsc() from sysutil library	2007-03-08 15:39:14 +00:00
Makefile	don't call mkdep with an absolute path	2007-02-08 16:26:20 +00:00
memory.c
mpx386.s
protect.c
proto.h
sconst.h
system.c	Use bitwise not instead of logical not on PIE flag when disabling periodic	2007-01-12 16:33:41 +00:00