Kenya also has a cement production industry. Kenya has an oil refinery that processes imported crude petroleum into petroleum products, mainly for the domestic market. In addition, a substantial and expanding informal sector commonly referred to as ''jua kali'' engages in small-scale manufacturing of household goods, auto parts, and farm implements.