The existence of morasses using Silver machine in L is proved in the PhD thesis of Thomas Lloyd Richardson, ``Silver Machine Approach to the Constructible Universe''.
See also Silver machines and Singular cardinals and analytic games. In this last paper the author relativises the Silver machine concept to an arbitrary $L[a], a⊆ω$, and using this relativised notion he establishes a relativised version of the Jensen covering lemma.