What is "rotundu"

Rotundu is a flat, heavily forested peak on the side of Mount Kenya. It's formed by a near-perpendicular wall raising from a height of approximately above sea level and finally flattening above the peak's base. The flat land on the peak also hosts Lake Rotundu (. Some of the plants found on the peak are puzzling, as one would not expect to find them growing at that altitude.