Yes, we have see C64 mini, and an AMIGA mini was waiting to go out in the market....
I have only made a prototype by find a case made by a friend of amiga mini and installing in it an AMIBIAN operative system after haveing configured it with all the possible AMIGA configuration. Trying it with adf and hard disk it worked well as a real MIGA!
Enjoy the photographs. Mini because the case is a little bigger the size of his Raspberry pi b3 inside it.