This project is currently only used to host specifications in its wiki space: https://git.morello-project.org/morello/kernel/linux/-/wikis/home

The Morello kernel sources can be found here: https://git.morello-project.org/morello/kernel/morello-ack