https://wiki.freebsd.org/arm64 has HiKey listed under "Running", yet the page that it links to ( https://wiki.freebsd.org/arm64/HiKey ) doesn't really have much information on it. Is it a working port? If so, is there a premade image somewhere for it? Crochet, sadly, doesn't seem to know about the HiKey. Thanks! -Dustin