Sorry, kenne keines direkt. Aber es wird sich doch bestimmt per gugel eines finden lassen. Ansonsten kann ich dir "C/C++ für embedded systems" als Buch empfehlen, es wird da auch C++ für solche Dinge behandelt.