Tomas Hruby 758d788bbe SMP - asyn send SMP safe ...

- we must not deliver messages from/to unstable address spaces.
  In such a case, we must postpone the delivery. To make sute
  that a process which is expecting an asynchronous message does
  not starve, we must remember that we skipped delivery of some
  messages and we must try to deliver again once the source
  address space is stable again.

2012-01-13 11:30:01 +00:00

..

do_abort.c

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

do_clear.c

SMP - lazy FPU

2010-09-15 14:11:25 +00:00

do_copy.c

KCall methods do not depend on m_source and m_type fields

2010-06-01 08:54:31 +00:00

do_cprofile.c

kernel: don't build cprofile code by default

2011-08-02 15:25:54 +02:00

do_devio.c

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

do_endksig.c

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

do_exec.c

SMP - lazy FPU

2010-09-15 14:11:25 +00:00

do_exit.c

More endpoint_t correctness.

2010-06-08 14:09:18 +00:00

do_fork.c

Revert "print kernel stacktrace for exceptions in kernel"

2011-07-22 15:01:44 +02:00

do_getinfo.c

libsys: unbreak getidle()

2011-12-16 16:06:09 +00:00

do_getksig.c

include, kernel: minor fixes to make compiling and linking work with clang.

2010-07-06 11:59:19 +00:00

do_irqctl.c

if verbore=1 tell us who registers which irq handler

2010-10-21 17:07:12 +00:00

do_kill.c

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

do_mcontext.c

Revert "print kernel stacktrace for exceptions in kernel"

2011-07-22 15:01:44 +02:00

do_memset.c

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

do_newmap.c

Oops, last commit included more than was intended

2010-05-20 08:07:47 +00:00

do_privctl.c

KERNEL - do_privctl() fix

2012-01-13 11:29:59 +00:00

do_profbuf.c

kernel: don't build cprofile code by default

2011-08-02 15:25:54 +02:00

do_runctl.c

SMP - Process is stopped when VM modifies the page tables

2010-09-15 14:11:12 +00:00

do_safecopy.c

RS live update support.

2010-07-09 18:29:04 +00:00

do_safemap.c

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

do_schedctl.c

SMP - Changed prototype of sys_schedule()

2010-09-15 14:10:42 +00:00

do_schedule.c

SMP - Changed prototype of sys_schedule()

2010-09-15 14:10:42 +00:00

do_setalarm.c

More endpoint_t correctness.

2010-06-08 14:09:18 +00:00

do_setgrant.c

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

do_sigreturn.c

Revert "print kernel stacktrace for exceptions in kernel"

2011-07-22 15:01:44 +02:00

do_sigsend.c

kernel: fix GCC warnings

2011-07-18 19:44:59 +02:00

do_sprofile.c

fix clang warnings -R in kernel/ and servers/

2011-06-09 16:09:13 +02:00

do_statectl.c

Driver refactory for live update and crash recovery.

2010-04-08 13:41:35 +00:00

do_stime.c

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

do_sysctl.c

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

do_times.c

More endpoint_t correctness.

2010-06-08 14:09:18 +00:00

do_trace.c

Convert kernel over to bsdmake

2010-04-01 22:22:33 +00:00

do_umap_remote.c

Split off sys_umap_remote from sys_umap

2011-06-10 14:28:20 +00:00

do_umap.c

Split off sys_umap_remote from sys_umap

2011-06-10 14:28:20 +00:00

do_update.c

SMP - fixed usage of stale TLB entries

2012-01-13 11:30:00 +00:00

do_vdevio.c

More endpoint_t correctness.

2010-06-08 14:09:18 +00:00

do_vmctl.c

SMP - asyn send SMP safe

2012-01-13 11:30:01 +00:00

do_vtimer.c

KCall methods do not depend on m_source and m_type fields

2010-06-01 08:54:31 +00:00

Makefile.inc

Add MKMCONTEXT option

2011-08-02 13:57:31 +02:00