Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development