Where could I find the Flash File System supported devices. It has been proposed to use AT45DB642 and I would like to know if this Flash is supported by Flash File System.