Arch manual pages

The package community/aarch64-linux-gnu-gdb contains these man pages: