Currently the SDK linker script hardcodes PD VAs as . = 0x200000. In order to avoid a lot of symbol table juggling for the debugger, we set up our PDs at distinct, non-overlapping virtual addresses but to do it we work around the default assigned value in a guaranteed-to-break-at-some-point way. It would be nice if microkit supported some way to do it.
Currently the SDK linker script hardcodes PD VAs as
. = 0x200000. In order to avoid a lot of symbol table juggling for the debugger, we set up our PDs at distinct, non-overlapping virtual addresses but to do it we work around the default assigned value in a guaranteed-to-break-at-some-point way. It would be nice if microkit supported some way to do it.