minix/kernel
Ben Gras 2d2a1a077d panic: declare as printf-style-checked
. and related fixes

Change-Id: I5131ac57dc53d8aec8d421a34c5ceea383404d7a
2013-05-31 13:35:25 +00:00
..
arch panic: declare as printf-style-checked 2013-05-31 13:35:25 +00:00
system libc: add adjtime() system call. 2013-04-04 15:04:54 +02:00
clock.c libc: add adjtime() system call. 2013-04-04 15:04:54 +02:00
clock.h Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
config.h No more intel/minix segments. 2012-07-15 22:30:15 +02:00
const.h No more intel/minix segments. 2012-07-15 22:30:15 +02:00
cpulocals.c Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
cpulocals.h Kernel: clean up include statements a bit 2012-08-14 16:29:05 +00:00
debug.c kernel ipc debug: various fixes 2013-05-01 21:40:23 +00:00
debug.h kernel ipc debug: various fixes 2013-05-01 21:40:23 +00:00
extract-errno.sh Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
extract-mfield.sh kernel ipc debug: various fixes 2013-05-01 21:40:23 +00:00
extract-mtype.sh Full switch to clang/ELF. Drop ack. Simplify. 2012-02-14 14:52:02 +01:00
glo.h kernel: facility for user-visible memory 2012-07-28 20:57:38 +00:00
interrupt.c Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
interrupt.h SMP - trully idle APs 2010-09-15 14:10:57 +00:00
ipc.h machine/ipcconst.h for arch-specific constants 2012-08-27 19:46:41 -04:00
kernel.h Removing obsolete _MINIX define 2013-02-26 09:44:20 +00:00
main.c arm:remove hardcoded base address for the in kernel serial. 2013-05-24 11:17:52 +02:00
Makefile kernel ipc debug: various fixes 2013-05-01 21:40:23 +00:00
priv.h Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
proc.c fix some comment typo's 2013-05-26 14:12:54 +00:00
proc.h kernel: trap-dependent state restore, trace fixes 2013-01-08 15:47:37 +00:00
profile.c Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
profile.h retire _PROTOTYPE 2012-03-25 16:17:10 +02:00
proto.h libc: add adjtime() system call. 2013-04-04 15:04:54 +02:00
smp.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
smp.h Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
spinlock.h Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
system.c libc: add clock_settime() system call. 2013-04-04 15:04:54 +02:00
system.h libc: add clock_settime() system call. 2013-04-04 15:04:54 +02:00
table.c Libraries updates and cleanup 2013-01-14 11:36:26 +01:00
type.h No more intel/minix segments. 2012-07-15 22:30:15 +02:00
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 No linear addresses in message delivery 2010-06-11 08:16:10 +00:00
watchdog.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
watchdog.h Libraries updates and cleanup 2013-01-14 11:36:26 +01:00