Does a device driver builder (like WindRiver) exist in the Linux world?