tree 32ed4dddfb1bc905546d889405c7c59b3af71415
parent 1785f044a2eb9f5f8b16b8904c2d179d68dd129a
author Austin Appleby <aappleby@google.com> 1635458631 -0700
committer Austin Appleby <aappleby@google.com> 1635458631 -0700

Move the last of our Matcha-specific stuff out of the Tock tree

Change-Id: Ieb4e987dc4153bb5e873cc8c7c983db2df2b87d4