Files: /kernel/x86_64/designs/channel-mapping-api.html