Save the current BERTOS_PATH in editing mode (instead of override it with the local...
[bertos.git] / bertos / cpu / arm /
drwxr-xr-x   ..
drwxr-xr-x - drv
drwxr-xr-x - hw
drwxr-xr-x - info
drwxr-xr-x - io
drwxr-xr-x - scripts