Amiga isn't based on mach, but MorphOS has a similar idea (morphos is a kind of AmigaOS clone)
AFAIK MorphOS runs on the "quark" microkernel and has 2 "boxes" - the "Abox", which will run some original Amiga software and the "Qbox" which is still under development and will do new stuff.
I don't know much about morphos, but
this page has lots of info.