Stefan Lankes 6013c2ec4d add memory barriers to seralize load and store operations ... => required to clone a task		2012-07-16 23:05:46 +02:00
..
apic.c	Merge branch 'master' into tickless	2012-07-14 13:28:08 -07:00
entry32.asm	fix bug in the calculation of esp0	2012-07-14 11:16:29 +02:00
entry64.asm	port esp0-patch to x86_64	2012-07-14 12:15:01 +02:00
gdt.c	add memory barriers to seralize load and store operations	2012-07-16 23:05:46 +02:00
idt.c	Reverted the removal of configure_idt_entry()	2012-06-13 09:57:01 +02:00
irq.c	add prototype of a tickless kernel	2012-07-03 16:46:54 +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	add prototype of a tickless kernel	2012-07-03 16:46:54 +02:00
vga.c	- some chmod changes	2011-08-02 15:58:20 +02:00