a database tool for 32-bit microcontrollers