phunix

Go to file

Tomas Hruby 4f962b4798 A small mini_receive() cleanup

- this patch substitutes *xpp for sender to increase readability of
  mini_receive().

- makes sure that the dequeued sender has p_q_link == NULL and that
  this condition holds when enqueuing the sender again. 

- it 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-05-07 11:22:49 +00:00

benchmarks

only check local benchmark dir if it exists

2010-02-04 18:15:10 +00:00

boot

Allow loading images > 16M

2010-04-29 15:14:07 +00:00

commands

awk Makefile: make yacc less chatty to stderr.

2010-05-04 09:23:31 +00:00

docs

Fix Inet initialization race.