diff options
author | gVisor bot <gvisor-bot@google.com> | 2020-04-13 13:41:45 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-04-13 13:41:45 -0700 |
commit | e1959f58dcf7a5338a04a069b43e690ca1e898e7 (patch) | |
tree | 809df75f9e607d5f48c64a7c0684b918f603aef2 /tools | |
parent | 5d885d7fb21414d903d57ffe2b95bcc62c098d6a (diff) | |
parent | ab54d4f496dc59721066e295e162b3be903795d5 (diff) |
Merge pull request #2321 from lubinszARM:pr_nogo
PiperOrigin-RevId: 306300032
Diffstat (limited to 'tools')
-rw-r--r-- | tools/nogo.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/nogo.json b/tools/nogo.json index 85fac8604..ae969409e 100644 --- a/tools/nogo.json +++ b/tools/nogo.json @@ -31,7 +31,6 @@ "/pkg/gohacks/gohacks_unsafe.go": "allowed: special case", "/pkg/sentry/fs/fsutil/host_file_mapper_unsafe.go": "allowed: special case", "/pkg/sentry/platform/kvm/(bluepill|machine)_unsafe.go": "allowed: special case", - "/pkg/sentry/platform/kvm/machine_arm64_unsafe.go": "fix: gvisor.dev/issue/22464", "/pkg/sentry/platform/ring0/pagetables/allocator_unsafe.go": "allowed: special case", "/pkg/sentry/platform/safecopy/safecopy_unsafe.go": "allowed: special case", "/pkg/sentry/vfs/mount_unsafe.go": "allowed: special case" |