Fix loader link address for tqma8xqp1gb
Seems like this has been regressed for a while unfortunately. The issue is that there are reserved regions that conflict with the loader itself which causes the tool to error out for this platform.
Testing locally, the loader being loaded at the previous address of 0x80280000 seems to relocate itself to 0x90000000 fine, so doing
go 0x80280000seems to still work.In general this whole loader link address thing is too fragile and doens’t work for really large Microkit images (since what happens is that the reserved region for the initial task gets larger and larger until it ends up overlapping with where the loader should go).
Will do this hot-fix for now, and open an issue for making this part of the loader less fragile in the future.
Signed-off-by: Ivan Velickovic i.velickovic@unsw.edu.au
版权所有:中国计算机学会技术支持:开源发展技术委员会
京ICP备13000930号-9
京公网安备 11010802032778号
seL4 Microkit
The purpose of the seL4 Microkit is to enable system designers to create static software systems based on the seL4 microkernel.
The seL4 Microkit consists of five components:
The Microkit is distributed as a software development kit (SDK).
This repository is the source for the Microkit SDK.
If you are a system designer and want to use the Microkit SDK please download a pre-built SDK from the latest release.
If you need help getting started see the seL4 documentation website as well as the manual in the SDK (
doc/manual.pdf).If you are developing Microkit itself see DEVELOPER.md.