Stefan Lankes 3e01fbad68 add a more flexible interface to determine PCI information ... => now, we determine also the size of the IO address space		2012-07-26 09:07:20 +02:00
..
apic.c	enable the SMP support on systems with a X2APIC	2012-07-22 22:19:50 +02:00
entry32.asm	use static stacks only for the idle tasks	2012-07-19 22:07:59 +02:00
entry64.asm	only if CONFIG_VGA is defined, VGA will be mapped into the kernel space	2012-07-22 10:56:03 +02:00
gdt.c	use static stacks only for the idle tasks	2012-07-19 22:07:59 +02:00
idt.c	Reverted the removal of configure_idt_entry()	2012-06-13 09:57:01 +02:00
irq.c	remove obsolete check for APIC support	2012-07-22 13:13:46 +02:00
isrs.c	some code cleanups	2012-07-18 20:56:23 +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	add a more flexible interface to determine PCI information	2012-07-26 09:07:20 +02:00
pcihdr.h	- some chmod changes	2011-08-02 15:58:20 +02:00
processor.c	add MSR and X2APIC support	2012-07-22 13:16:17 +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	use static stacks only for the idle tasks	2012-07-19 22:07:59 +02:00
vga.c	- some chmod changes	2011-08-02 15:58:20 +02:00