add osdr_clock, remove unneeded SDIO ctrl / config, to be done by hand
[shakti-peripherals.git] / src / core /
drwxr-xr-x   ..
-rw-r--r-- 19084 defined_types.bsv