diff options
| author | Googler <noreply@google.com> | 2018-08-22 13:29:57 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-08-22 13:31:11 -0700 |
| commit | bbee911179aaf925f58051de4392502743539802 (patch) | |
| tree | b6ee895a917a324cdb612f898ac3d0b7b78e4c35 /pkg/sentry/platform/ring0 | |
| parent | 6b9133ba96863e3653fa6f3949710203bb077c50 (diff) | |
Allow building on !linux
PiperOrigin-RevId: 209819644
Change-Id: I329d054bf8f4999e7db0dcd95b13f7793c65d4e2
Diffstat (limited to 'pkg/sentry/platform/ring0')
0 files changed, 0 insertions, 0 deletions