-
Notifications
You must be signed in to change notification settings - Fork 640
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Generated platform descriptions (.yaml and .json) do not describe final device regions #1197
Comments
The only use case of these files (that I can find) is in https://github.com/seL4/seL4_tools/blob/master/cmake-tool/helpers/shoehorn.py but it only looks at the |
Can't we just add another field |
I ran into this in an experiment with generating the initial untyped list in the hardware_gen.py list.
(The invocation itself had to be moved to the bottom of config.cmake) Then in the script itself:
|
Thanks. Main problem I see is it breaking once we add something new to I'll make a PR with your patch. |
Files generated from the kernel build system, such as
platform_gen.json
andplatform_gen.yaml
currently list the device regions used by the kernel, e.g for the ZCU102:The problem that I am finding is that these device regions are not necessarily used by the kernel as some of them depend on the configuration of the kernel. E.g the GIC VCPU control region is listed, but that is only used (and hence reserved) by the kernel in hypervisor mode.
The C header export works by outputting an
#ifdef
macro based on a hardware description file, e.gseL4/tools/hardware.yml
Line 32 in a8eebab
Not sure what the best way around it, would appreciate comments before I make a PR with a particular approach.
This currently blocks seL4/microkit#35 as Microkit needs a way of knowing the exact reserved kernel regions as build-time.
The text was updated successfully, but these errors were encountered: