fix symbol names for kernel
[openadk.git] / adk / 
treec18ff70ea5539626a4085f93ecec737d4095caf7
drwxr-xr-x   ..
drwxr-xr-x - config
drwxr-xr-x - genimage
drwxr-xr-x - include
drwxr-xr-x - tests
drwxr-xr-x - tools