Oleg Hahm 983d056c75 core: harmonizes the data type for the process ID ... Instead of using differing integer types use kernel_pid_t for process identifier. This type is introduced in a new header file to avoid circular dependencies.		2014-08-01 12:02:54 +02:00
..
cpu.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
hwtimer_cpu.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
ucontext.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_cmos.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_hwtimer.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_interrupts.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_kernel_memory.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_memory.h	x86: add read-before-write check at runtime	2014-05-31 19:45:19 +02:00
x86_pci_init.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_pci_strings.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_pci.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_pic.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_pit.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_ports.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_reboot.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_registers.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_rtc.h	core: harmonizes the data type for the process ID	2014-08-01 12:02:54 +02:00
x86_threading.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_uart.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_videoram.h	Initial import of the x86 port	2014-05-25 13:40:29 +02:00