Here are some tools which will be of some use for embedded
controller development