Operating system for beagleboard

Searched all througth the internet but can't find anything... The
question is - is there any operating systems, or most likely small
kernels for beagle board (I'm aware of linux btw).
The problem is that I don't need the features of linux, but I need
fast response to interrupts and I have to get all the cpu performance
that I can.