linux+arc: update kernel
[openadk.git] / target / riscv32 / 
tree26aa5ad73260d5817776ce40595bc60ac9774eb3
drwxr-xr-x   ..
-rw-r--r-- 1823 Makefile
drwxr-xr-x - kernel
drwxr-xr-x - systems