minix/kernel
Kees Jongenburger aa94c9ed55 arm:switch to dynamic configuration for the kernel.
During startup machine.board_id is now determined. The kernel can now
at runtime determine how to configure itself and does so.

Change-Id: I4f615af9bfa5add219e618b911a51af127591d6a
2013-12-17 11:32:38 +01:00
..
arch arm:switch to dynamic configuration for the kernel. 2013-12-17 11:32:38 +01:00
system Replaced add64, add64u and add64ul with operators. 2013-11-13 13:11:33 +00:00
clock.c libc: add adjtime() system call. 2013-04-04 15:04:54 +02:00
clock.h kernel: spelling fixes 2013-10-09 20:24:17 -04:00
config.h kernel: add padconf kernel call 2013-08-28 12:53:05 -04:00
const.h
cpulocals.c Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
cpulocals.h
debug.c kernel: fixes for DEBUG_DUMPIPC mode 2013-09-24 08:26:53 +00:00
debug.h kernel ipc debug: various fixes 2013-05-01 21:40:23 +00:00
extract-errno.sh kernel: fixes for DEBUG_DUMPIPC mode 2013-09-24 08:26:53 +00:00
extract-mfield.sh kernel ipc debug: various fixes 2013-05-01 21:40:23 +00:00
extract-mtype.sh
glo.h kernel: spelling fixes 2013-10-09 20:24:17 -04:00
interrupt.c kernel: spelling fixes 2013-10-09 20:24:17 -04:00
interrupt.h
ipc.h
kernel.h Removing obsolete _MINIX define 2013-02-26 09:44:20 +00:00
main.c arm:determine board_id using bootargs.board_name 2013-12-17 11:32:38 +01:00
Makefile kernel: fixes for DEBUG_DUMPIPC mode 2013-09-24 08:26:53 +00:00
priv.h Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
proc.c Kernel: correct a case of misleading indentation 2013-10-22 14:44:39 +00:00
proc.h kernel: spelling fixes 2013-10-09 20:24:17 -04:00
profile.c Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
profile.h
proto.h <a.out.h>, MINIX style: remove as obsolete 2013-08-06 11:43:35 +02:00
smp.c kernel: spelling fixes 2013-10-09 20:24:17 -04:00
smp.h kernel: spelling fixes 2013-10-09 20:24:17 -04:00
spinlock.h Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
system.c kernel: spelling fixes 2013-10-09 20:24:17 -04:00
system.h kernel: add padconf kernel call 2013-08-28 12:53:05 -04:00
table.c Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
type.h
usermapped_data.c Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
utility.c Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
vm.h
watchdog.c kernel: spelling fixes 2013-10-09 20:24:17 -04:00
watchdog.h kernel: spelling fixes 2013-10-09 20:24:17 -04:00