Financing the Jua Kali sector in Kenya. The KREP Juhudi scheme and Kenya Industrial Estates Informal Sector Programme