DDGen helps you generate Device Drivers by concentrating on the device programming through a high level specification, rather than worrying about Operating system intricacies.
ANSI C code including OS calls. Fully functional device driver
A range of device complexities: UART, I2C, USB, Ethernet, video, MMC,I2S, SPI..
Many popular Operating Systems, No OS
Eclipse integration, Debug support