main/vaseboot
main
/
vaseboot
1
0
Fork 0
Code Issues Pull Requests 1 Packages Projects Releases Wiki Activity
1,003 Commits 2 Branches 0 Tags 25 MiB
Commit Graph

2 Commits

Author SHA1 Message Date
bean 5ebc275d6f 2008-08-07 Bean <bean123ch@gmail.com> 
* conf/x86_64-efi.rmk (kernel_mod_SOURCES): Add kern/time.c,
	kern/i386/tsc.c and kern/i386/pit.c.

	* include/grub/i386/tsc.h (grub_cpu_is_cpuid_supported): Handle
	x86_64 platform.

	* kern/i386/efi/init.c: Replace <grub/cpu/tsc.h> with
	<grub/i386/tsc.h>.

	* kern/i386/pit.c: Replace <grub/cpu/io.h> with <grub/i386/io.h>.
 2008-08-07 19:21:25 +00:00
marco_g a829251bdb Urgh, and now actually add the files :-) 2008-08-05 12:26:29 +00:00