Tomas Hruby 76708e9bf4 mini_receive() clean up ...

- for better readability xpp is substitued by sender

- makes sure that the dequeued sender has p_q_link == NULL and that
  this condition holds when enqueuing the sender again. This is a
  sanity check to make sure that the new sender is not enqueued
  already

- Before this change the dequeued sender's p_q_link may not be NULL
  and it was only set to NULL when enqueued again

2010-06-23 10:36:19 +00:00

..

arch/i386

No linear addresses in message delivery

2010-06-11 08:16:10 +00:00

system

Cycle counters zeroed after fork for the child

2010-06-18 14:01:34 +00:00

clock.c

scheduling - time quantum in miliseconds

2010-05-25 08:06:14 +00:00

clock.h

scheduling - time quantum in miliseconds

2010-05-25 08:06:14 +00:00

config.h

Driver refactory for live update and crash recovery.

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

const.h

Fixed brackets in bitmap macros

2010-03-30 08:34:33 +00:00

debug.c

kernel: don't try to lookup ANY in debug output.

2010-05-06 22:39:11 +00:00

debug.h

Intermediate boot verbosity level EXTRA (2), MAX moved to 3

2010-05-10 18:07:59 +00:00

glo.h

Lazy FPU

2010-06-07 07:43:17 +00:00

interrupt.c

kernel: print spurious interrupt message with increasing interval.

2010-05-08 17:21:37 +00:00

ipc.h

Set IPC status code only for RECEIVE

2010-04-26 14:43:59 +00:00

kernel.h

kernel: oxpcie serial card support.

2010-05-19 10:00:02 +00:00

main.c

scheduling - time quantum in miliseconds

2010-05-25 08:06:14 +00:00

Makefile

Minor makefile changes for GCC

2010-06-01 09:41:31 +00:00

priv.h

kernel: increase some per-process privilege limits.

2010-05-06 22:21:08 +00:00

proc.c

mini_receive() clean up

2010-06-23 10:36:19 +00:00

proc.h

No linear addresses in message delivery

2010-06-11 08:16:10 +00:00

profile.c

remove intr_disabled() as interrupts are always disabled in the kernel now.

2010-04-26 15:32:42 +00:00

profile.h

cprofile not conditional

2009-01-09 21:44:52 +00:00

proto.h

No linear addresses in message delivery

2010-06-11 08:16:10 +00:00

start.c

kernel: oxpcie serial card support.

2010-05-19 10:00:02 +00:00

system.c

More endpoint_t correctness.

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

system.h

KCall methods do not depend on m_source and m_type fields

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

table.c

Remove legacy MM, FS, and FS_PROC_NR macros

2010-06-08 13:58:01 +00:00

type.h

scheduling - time quantum in miliseconds

2010-05-25 08:06:14 +00:00

utility.c

More endpoint_t correctness.

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

vm.h

No linear addresses in message delivery

2010-06-11 08:16:10 +00:00

watchdog.c

Remove useless symbol declarations from headers, make symbols local where possible, add some explicit initialization to global variables.

2010-04-22 07:49:40 +00:00

watchdog.h

Convert kernel over to bsdmake

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