tree c9b980416ce9f9e425d681ed23acf1bc7e191b41
parent f481a7ac620e65e475a638ad13712d0e5acac1d2
author Austin Appleby <aappleby@google.com> 1648682231 -0700
committer Austin Appleby <aappleby@google.com> 1648850126 -0700

First version of Minisel, a minimalist seL4 rootserver app for testing.

Change-Id: I0dff1e7d2a74a16a748c60cc37a8c2d13b505892