Kaspar Schleiser 52bca573f4 * make msg_send use IRQ api ...

* msg_send_int now sets sender_pid to receiver_pid

2010-09-24 16:24:13 +02:00

..

include

* cosmetic

2010-09-24 16:23:54 +02:00

bitarithm.c

* import from old firekernel repository

2010-09-22 15:10:42 +02:00

clist.c

* import from old firekernel repository

2010-09-22 15:10:42 +02:00

hwtimer.c

* import from old firekernel repository

2010-09-22 15:10:42 +02:00

Jamfile

* import from old firekernel repository

2010-09-22 15:10:42 +02:00

kernel_init.c

* fixed kernel name in welcome message

2010-09-24 16:23:31 +02:00

msg.c

* make msg_send use IRQ api

2010-09-24 16:24:13 +02:00

mutex.c

* import from old firekernel repository

2010-09-22 15:10:42 +02:00

oneway_malloc.c

* import from old firekernel repository

2010-09-22 15:10:42 +02:00

queue.c

* import from old firekernel repository

2010-09-22 15:10:42 +02:00

scheduler.c

* import from old firekernel repository

2010-09-22 15:10:42 +02:00

thread.c

* import from old firekernel repository

2010-09-22 15:10:42 +02:00