Cristiano Giuffrida 8d9b87e365 kernel: Add bitcode support.

2014-07-28 17:06:13 +02:00

..

arch

kernel: Add bitcode support.

2014-07-28 17:06:13 +02:00

system

Kernel: fix getrusage microsecond computation

2014-07-28 17:05:56 +02:00

clock.c

…

clock.h

…

config.h

…

const.h

No more intel/minix segments.

2012-07-15 22:30:15 +02:00

cpulocals.c

…

cpulocals.h

…

debug.c

…

debug.h

…

extract-errno.sh

…

extract-mfield.sh

…

extract-mtype.sh

…

glo.h

…

interrupt.c

…

interrupt.h

…

ipc.h

…

kernel.h

…

main.c

arm: clear highly mapped kernel bss

2014-07-28 17:05:55 +02:00

Makefile

kernel: Add bitcode support.

2014-07-28 17:06:13 +02:00

priv.h

…

proc.c

Message type for SCHEDULING_NO_QUANTUM, SYS_SCHEDULE

2014-07-28 17:05:42 +02:00

proc.h

…

profile.c

…

profile.h

…

proto.h

…

smp.c

…

smp.h

…

spinlock.h

…

system.c

…

system.h

…

table.c

…

type.h

…

usermapped_data.c

…

utility.c

…

vm.h

…

watchdog.c

…

watchdog.h

…