You can check out on github in the DE10-Standard MiSTer ported repository
https://github.com/MiSTer-DE10-Standard/Minimig-AGA_MiSTer

You can check out on github in the DE10-Standard MiSTer ported repository
https://github.com/MiSTer-DE10-Standard/Minimig-AGA_MiSTer