https://github.com/antonblanchard/microwatt is an example of a Linux-capable 64-bit core that has been submitted on multiple Open MPW shuttles: https://platform.efabless.com/projects/29 https://platform.efabless.com/projects/795 https://platform.efabless.com/projects/840