Denver is not an operating system. Denver is not a kernel. Denver is neither of these, and less. It might handle keyboard events and chat with BIOS. It might not.