xiaomi_badger_platform_interface library