diff options
author | gVisor bot <gvisor-bot@google.com> | 2020-02-25 16:24:43 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-02-25 16:24:43 -0800 |
commit | 813b1b048630dbf7b812abbe052dc34954869403 (patch) | |
tree | 9075926840147cc2dc8ab8713fb5002ca020db7d /pkg/flipcall/BUILD | |
parent | 87288b26a1c40776da31c1edcbe9b1f3a6f5c1ed (diff) | |
parent | ebaf29abeb5e6e6cd87f4b0088719abb30e9d4cb (diff) |
Merge pull request #1271 from lubinszARM:pr_ring0_1
PiperOrigin-RevId: 297230721
Diffstat (limited to 'pkg/flipcall/BUILD')
0 files changed, 0 insertions, 0 deletions