Thanks for the quick reply.
Edit: I found the where the mirabox kernel package is created. Please ignore this post and I'll try to say something useful next time :)
The Mirabox uses the Armada 370 SoC, the driver discussed in
this thread is the one needed. I'm happy to play around with the kernel PKGBUILD, but I can't seem to find it. I cloned the repo as instructed
here, and there are PKGBUILDs for a whole bunch of kernels, but the mirabox one is missing.
I noticed the mirabox kernel package only contains the uImage, and the vanilla arm7h kernel package is installed too, how does that work? I assume the mirabox kernel package is using the modules and other things from the vanilla kernel package? Really I just want to set a few options in .config, that should be all that's required, I don't want to re-invent any wheels.
Simply using the --nodeps option with pacman doesn't allow installation of openssl-cryptodev, but that's no biggy, I can fix that. I imagine a new mirabox kernel PKGBUILD should specify cryptodev_friendly in it's provides.