tree 912bab820bf7c79ffb4d632062ea6dba9585fc94
parent 7fb7c59cd46a248f47dc245e91ad9324ce13c984
author Tor Jeremiassen <torerik@google.com> 1778534602 -0500
committer Tor Jeremiassen <torerik@google.com> 1778535456 -0500

Should fix mpact-cheriot git issue #2.

PiperOrigin-RevId: 913881224
Change-Id: Iea13334d3f34f2ea276b0b4a422f35b2e1a477db