I am working on writing a static paging setup for a custom bare-metal ARM system. ARMv7a uses two-level paging, where entries in a top-level page table can point to a second-level table. I have a top-level table and a couple of second-level tables that I need to link together, both implemented in the same .S file and same section.