fp64lib

Small SD cards do not work correctly

14

This issue originally was raised for the MiniDexed. After booting the appropriate kernel image, access to the FAT32 file system does not work correctly for a small Micro SD card,...

The rounding functions (fp64_trunc, fp64_round, fp64_ceil, ...) do have some code that is quite similar. So, some space could be saved by extracting the common routines.

Small SD cards do not work correctly

8

To speed-up testing, I use several Micro SD-cards. One of them was a 128MB card - which is absolutely fine: even with 26 sound banks, the entire MiniDexed only takes...