including mini6410 machine-specific