Answer:
There can be an infinite number of "types", depending on how you want to classify them. Free or proprietary? Realtime? Unix-like? 16, 32, or 64-bit? Server, desktop, or embedded? By kernel type? This question can't really be answered without better context.