Is there a linux distribution that can run on hifive1

Thanks for reply.

Here says 8MB minimal RAM(http://www.emcraft.com/stm32f429discovery/what-is-minimal-footprint), so 16KB seems at least impractical.

BTW, is FreeRTOS currently the only ported OS? I’m not quite familiar with it.