No, the Wii mini is not supported. "WiiMartOB.wad" is the version with the old Wii Shop Channel banner.
Currently, IOS80 is not used, use it at your own risk
(Makes installing on sd card working with being able to run it)