Raspberry Pi port, piCore-15.0 is available!
You need to make a backup before rebooting. I'll add that to the security wiki.