|
|
cfccf0f2ca
|
* remove mu character from kernel greeting line.
|
2010-10-11 17:05:33 +02:00 |
|
|
|
a076a765b3
|
* oneway_malloc: added realloc
|
2010-09-30 16:07:00 +02:00 |
|
|
|
867fd7f293
|
* pull in VERY useful defines in thread.h
|
2010-09-30 15:08:50 +02:00 |
|
|
|
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 |
|
|
|
72785295a3
|
* cosmetic
|
2010-09-24 16:23:54 +02:00 |
|
|
|
e8ad60671b
|
* fixed kernel name in welcome message
|
2010-09-24 16:23:31 +02:00 |
|
|
|
91ae1eb6fd
|
* import from old firekernel repository
|
2010-09-22 15:10:42 +02:00 |
|
