Szybka baza danych dla małego mikrokontrolera

Używam PIC32, który jest 32-bitowym procesorem o taktowaniu 80 MIPS i dostępnym około 64-128 KB pamięci RAM. Będzie uzyskiwał dostęp do karty microSD - do 4 GB w systemie plików FAT32. Wszystko to popycha go, ale potrzebuję kompaktowej bazy danych, którą można łatwo przenieść na tę platformę i...