Simon South 75c31ae28d system: Build using public elf.h header ... Reduce duplication of code by * Removing from elf_common.h definitions available in os/kernel/elf.h * Deleting elf32.h and elf64.h * Renaming elf_common.h to elf_private.h * Updating source to build using public and private ELF header files together Signed-off-by: Jessica Hamilton <jessica.l.hamilton@gmail.com>		2015-11-07 11:49:56 +13:00
..
alpha	kernel: fix missing SMP_MAX_CPUS on non-x86	2014-01-19 14:09:51 -06:00
arm	arm: Initial Cubieboard4 work	2015-04-11 16:53:04 -05:00
generic	kernel/arch: remove leftover debug message	2014-09-25 21:57:32 +02:00
m68k
mipsel
ppc	kernel: Add missing smp memory barrier calls. Set max cpu to 1	2014-01-19 19:33:21 -06:00
sh4
sparc
x86	x86: added two MSR definitions.	2014-12-23 19:14:52 +01:00
atomic.h	kernel: No need for arch specific ifdefs in arch/atomic.h	2014-01-20 04:09:17 +01:00
cpu.h	kernel: add generic wrapper for accessing user memory	2014-09-14 22:39:07 +02:00
debug_console.h
debug.h
elf.h	system: Build using public elf.h header	2015-11-07 11:49:56 +13:00
int.h
platform.h
real_time_clock.h
smp.h	x86: Make arch/smp.h a C++ only header	2013-12-20 22:05:26 +01:00
system_info.h	kernel, libroot: Introduce new API for obtaining system info	2013-12-16 03:58:43 +01:00
thread_types.h
thread.h
timer.h
user_debugger.h
user_memory.h	kernel: add generic wrapper for accessing user memory	2014-09-14 22:39:07 +02:00
vm_translation_map.h
vm_types.h
vm.h