Stefan Lankes 3c1b270160 fix bug in the calculation of esp0		2012-07-14 11:16:29 +02:00
..
apic.c	remove bug by searching lapci on a 64bit system	2012-07-10 22:43:02 +02:00
entry32.asm	fix bug in the calculation of esp0	2012-07-14 11:16:29 +02:00
entry64.asm	remove obsolete symbols in a single environment	2012-07-10 21:48:23 +02:00
gdt.c	initialize the kernel stack only for the boot task	2012-07-14 11:15:18 +02:00
idt.c	Reverted the removal of configure_idt_entry()	2012-06-13 09:57:01 +02:00
irq.c	reduce obsolete lines and additional output messages	2012-06-10 08:54:08 +02:00
isrs.c	add alpha version of x64 support	2012-06-10 08:05:24 +02:00
kb.c	remove compiler warnings in drivers/char/stdio	2011-09-30 11:59:45 +02:00
Makefile	add init code, which jumps to 64bit mode and and calls main	2012-05-29 20:47:45 +02:00
multiboot.c	- some chmod changes	2011-08-02 15:58:20 +02:00
pci.c	- some chmod changes	2011-08-02 15:58:20 +02:00
pcihdr.h	- some chmod changes	2011-08-02 15:58:20 +02:00
processor.c	use the correct data type for the CR4 register	2012-06-13 11:23:05 +02:00
string32.asm	add build environment for 64bit code	2012-05-24 10:49:45 +02:00
string64.asm	add alpha version of x64 support	2012-06-10 08:05:24 +02:00
timer.c	Commented the PIT-initialization code to make it easier to understand.	2011-12-15 18:48:06 +01:00
vga.c	- some chmod changes	2011-08-02 15:58:20 +02:00