Xiaomi launches Redmi tech notebook for under $8 in India