Habranthus × floryi Traub, Pl. Life 7: 121 1951. ;
Lilies for ID : Nairobi, Kenya : 05APR21 : AK-04: 3 images.
These are very old pictures taken in Jan, 2009.
Habranthus brachyandrus can also be a possible id.
Maybe Habranthus × floryi as per comparative images at Pacific Bulb society.
But these were growing wild by the roadside, not cultivated.
Is there any native species in Kenya ?
I am not aware.