Raspberry Pi port, piCore-15.0 is available!
32bit kernel: 4gb64bit kernel: I'll need to check that, but at least tb.
64bit kernel: I'll need to check that, but at least 256tb.