NAKAMURA Gou 9e53ae20d4 add memory barriers ...

- rmb()
- wmb()

2015-10-27 19:21:50 +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

add memory barriers

2015-10-27 19:21:50 +09:00

tools

mcreboot-smp-x86.sh: fix querying free irq

2015-09-17 13:19:07 +09:00