Oops. Just remembered why I hadn't done that already. aarch64... Is there publicly available buildable source?