bug fix; version up 14/19514/1
[profile/ivi/sdk/web-ide-resources.git] / kernel /
drwxr-xr-x   ..
-rw-r--r-- 5661744 bzImage