BBQLinux and OS for Android developers and Arch enthusiasts