add manual page for Arm GIC v3/v4 driver
authorjsg <jsg@openbsd.org>
Thu, 20 Oct 2022 08:45:39 +0000 (08:45 +0000)
committerjsg <jsg@openbsd.org>
Thu, 20 Oct 2022 08:45:39 +0000 (08:45 +0000)
commit5037f48b4539460a93f5e9434082f07d2b87887a
tree051327bd58ca431d76ae5ad0315cdb5ba015d09d
parentd5241874c2443a45baa6bc005242ac7904ef2374
add manual page for Arm GIC v3/v4 driver
share/man/man4/man4.arm64/Makefile
share/man/man4/man4.arm64/agintc.4 [new file with mode: 0644]