ubuntu12.10 d10416cb04 for release

2013-11-14 17:26:03 +09:00

..

elfboot

support builtin-x86 and builtin-mic

2013-01-06 15:45:17 +09:00

kboot

modify file names and create directories

2012-12-17 15:39:24 +09:00

kernel

add copyrights

2013-11-14 16:49:40 +09:00

tools

for release

2013-11-14 17:26:03 +09:00