Balazs Gerofi bgerofi@riken.jp 31a605f94b push/pop r15 when entering/leaving kernel space (fix for bug #53: r15 wasn't propagated during fork())

2014-07-10 13:53:12 +09:00

..

elfboot

add modification history entry to the following files,

2013-11-14 18:30:06 +09:00

kboot

add modification history entry to the following files,

2013-11-14 18:30:06 +09:00

kernel

push/pop r15 when entering/leaving kernel space (fix for bug #53: r15 wasn't propagated during fork())

2014-07-10 13:53:12 +09:00

tools

wait only 10 secs in mcreboot-attached

2014-03-27 15:35:42 +09:00