move ResourceManager into JTAG object, rename it to core_mgr
[pinmux.git] / src / migen /
drwxr-xr-x   ..
-rw-r--r-- 3203 safeinmux.py