minix/minix/kernel
Emmanuel Blot 41b870c890 arm: Make sure __k_unpaged_MINIX is first
Do not rely on build order to set startup symbol (`__k_unpaged_MINIX`)
at kernel binary start

Change-Id: I1ed3f9309fe66ff97e24915938c114d5a159deaf
2015-03-18 07:50:31 +01:00
..
arch arm: Make sure __k_unpaged_MINIX is first 2015-03-18 07:50:31 +01:00
system Turn PCI into a character driver 2014-11-10 14:43:27 +01:00
clock.c New sources layout 2014-07-31 16:00:30 +02:00
clock.h New sources layout 2014-07-31 16:00:30 +02:00
config.h New sources layout 2014-07-31 16:00:30 +02:00
const.h New sources layout 2014-07-31 16:00:30 +02:00
cpulocals.c New sources layout 2014-07-31 16:00:30 +02:00
cpulocals.h New sources layout 2014-07-31 16:00:30 +02:00
debug.c New sources layout 2014-07-31 16:00:30 +02:00
debug.h New sources layout 2014-07-31 16:00:30 +02:00
extract-errno.sh New sources layout 2014-07-31 16:00:30 +02:00
extract-mfield.sh New sources layout 2014-07-31 16:00:30 +02:00
extract-mtype.sh New sources layout 2014-07-31 16:00:30 +02:00
glo.h New sources layout 2014-07-31 16:00:30 +02:00
interrupt.c New sources layout 2014-07-31 16:00:30 +02:00
interrupt.h New sources layout 2014-07-31 16:00:30 +02:00
ipc.h New sources layout 2014-07-31 16:00:30 +02:00
kernel.h New sources layout 2014-07-31 16:00:30 +02:00
main.c Remove support for call profiling 2014-09-30 12:39:03 +00:00
Makefile ARM: can build with llvm, switch to EABI 2014-12-12 13:04:56 +01:00
priv.h New sources layout 2014-07-31 16:00:30 +02:00
proc.c minix/ changes for arm llvm build 2014-12-03 23:40:56 +01:00
proc.h New sources layout 2014-07-31 16:00:30 +02:00
profile.c Remove support for call profiling 2014-09-30 12:39:03 +00:00
profile.h Remove support for call profiling 2014-09-30 12:39:03 +00:00
proto.h New sources layout 2014-07-31 16:00:30 +02:00
smp.c New sources layout 2014-07-31 16:00:30 +02:00
smp.h New sources layout 2014-07-31 16:00:30 +02:00
spinlock.h New sources layout 2014-07-31 16:00:30 +02:00
system.c Remove support for call profiling 2014-09-30 12:39:03 +00:00
system.h Remove support for call profiling 2014-09-30 12:39:03 +00:00
table.c New sources layout 2014-07-31 16:00:30 +02:00
type.h New sources layout 2014-07-31 16:00:30 +02:00
usermapped_data.c Fix bitcode support for kernel 2014-08-29 12:57:03 -04:00
utility.c New sources layout 2014-07-31 16:00:30 +02:00
vm.h New sources layout 2014-07-31 16:00:30 +02:00
watchdog.c New sources layout 2014-07-31 16:00:30 +02:00
watchdog.h New sources layout 2014-07-31 16:00:30 +02:00