Axel Dörfler 7f33c9cda3 Lost the "EFI" in front of "GUID Partition Map" name. ...

* This is how other systems refer to it as well, and is shorter, too.

2013-01-24 01:15:26 +01:00

..

arch

ARM: fixup header comment

2012-11-22 00:00:16 +01:00

posix

…

commpage_defs.h

…

computed_asm_macros.h

…

ddm_userland_interface_defs.h

…

device_manager_defs.h

…

directories.h

…

disk_device_types.h

Lost the "EFI" in front of "GUID Partition Map" name.

2013-01-24 01:15:26 +01:00

elf32.h

Support ELF64 in the kernel.

2012-07-09 11:11:38 +01:00

elf64.h

Support ELF64 in the kernel.

2012-07-09 11:11:38 +01:00

elf_common.h

Fixed compilation of C code using ELF headers.

2012-07-09 14:35:01 +01:00

extended_system_info_defs.h

…

generic_syscall_defs.h

…

image_defs.h

…

node_monitor_private.h

…

real_time_data.h

…

safemode_defs.h

…

scheduler_defs.h

…

signal_defs.h

…

spinlock_contention.h

…

symbol_versioning.h

…

syscall_process_info.h

…

syscalls.h

Implemented user debugging support for x86_64.

2012-08-07 20:20:42 +01:00

system_info.h

…

system_profiler_defs.h

…

thread_defs.h

Add support for pthread_attr_get/setguardsize()

2012-12-28 18:02:58 +00:00

tls.h

…

user_mutex_defs.h

…

user_runtime.h

…

user_thread_defs.h

…

user_timer_defs.h

…

vfs_defs.h

…

vm_defs.h

…