Ben Gras 8bab0dfa2a Kernel: delivermsg improvements ...

. make arch-independent, and local to proc.c, reduce code duplication
    . make vm_suspend public but unduplicated in proc.c
    . ask VM for handling once, 2nd time SIGSEGV process
    . remove debug printfs
    . test case for bogus sendrec() address argument

Change-Id: I3893758910c01de60b8fe3e50edd594296a0b73e

2015-09-17 13:41:09 +00:00

..

arch

Kernel: delivermsg improvements

2015-09-17 13:41:09 +00:00

system

kernel: Debug printing at live update time.

2015-09-16 11:03:04 +00: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

vm: Separate mmap regions.

2015-09-16 11:06:17 +00: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

kernel: Add support for IPC filters.

2015-09-16 11:02:24 +00:00

debug.h

kernel: Add support for IPC filters.

2015-09-16 11:02:24 +00: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_filter.h

kernel: Add support for IPC filters.

2015-09-16 11:02:24 +00:00

ipc.h

kernel: Add support for IPC filters.

2015-09-16 11:02:24 +00:00

kernel.h

New sources layout

2014-07-31 16:00:30 +02:00

main.c

vm: Separate mmap regions.

2015-09-16 11:06:17 +00:00

Makefile

Kernel: correctly set USE_ defines from Makefile

2015-08-08 16:56:37 +00:00

priv.h

kernel: Handle IPC properly at live update time.

2015-09-16 11:02:53 +00:00

proc.c

Kernel: delivermsg improvements

2015-09-17 13:41:09 +00:00

proc.h

Kernel: delivermsg improvements

2015-09-17 13:41:09 +00: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

Kernel: delivermsg improvements

2015-09-17 13:41:09 +00: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

kernel: Inherit allowed memory, IRQ & I/O ranges

2015-09-16 11:02:44 +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