Sailfish OS port for Xiaomi Redmi 1S (armani) Roadmap Issues Sources local manifests fixup-mountpoints droid-hal-armani droid-hal-version-armani droid-config-armani android_device_xiaomi-armani android_kernel_xiaomi_armani proprietary_vendor_xiaomi