I found the sources...

A project log for Kortex-S Processor

Bit serialized ARM Cortex Processor

Antti LukatsAntti Lukats 08/22/2015 at 20:120 Comments

searching on HDD sometimes completes in finite time with results.. so the sources are found. The processor is not yet usable but can still be used as starting point.

pushed to github...