[patch-axel-12] rework physical address space limits #52
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
axel-h
force-pushed
the
patch-axel-12
branch
7 times, most recently
from
e58f770 to
e86bd6c
Compare
Instead of special handling for the SBI region in the kernel, which can be platform specific, treat it as a reserved memory region in the device tree which is sufficient to prevent the kernel from turning the reserved region into kernel untyped caps. Signed-off-by: Kent McLeod <kent@kry10.com>
axel-h
force-pushed
the
patch-axel-12
branch
from
e86bd6c to
7793b23
Compare
axel-h
force-pushed
the
patch-axel-12
branch
8 times, most recently
from
8b82793 to
b8a1895
Compare
axel-h
force-pushed
the
patch-axel-12
branch
7 times, most recently
from
2ecde9f to
85233e1
Compare
axel-h
changed the title
axel-h
force-pushed
the
patch-axel-12
branch
from
a202a20 to
05c4324
Compare
Signed-off-by: Axel Heider <axelheider@gmx.de>
Since we have Python 3.7 now, the usage of type hints can be improved further. Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h
force-pushed
the
patch-axel-12
branch
from
05c4324 to
fd02464
Compare
Signed-off-by: Axel Heider <axelheider@gmx.de>
- pass a dict - add type information for parameters Signed-off-by: Axel Heider <axelheider@gmx.de>
- merge functions to simplify control flow - clarify variable names - add comments - Improve code readability Signed-off-by: Axel Heider <axelheider@gmx.de>
Config is already part of the hardware YAML object, take it from there. Signed-off-by: Axel Heider <axelheider@gmx.de>
Signed-off-by: Axel Heider <axelheider@gmx.de>
Signed-off-by: Axel Heider <axelheider@gmx.de>
- add KernelPhysAddressSpaceBits and PHYS_ADDR_SPACE_BITS - add KernelPhysAddrTop and CONFIG_PHYS_ADDR_TOP - make CONFIG_PADDR_USER_DEVICE_TOP an alias - remove KernelPaddrUserTop from CMake - remove KernelArmPASizeBits40 from CMake - remove KernelArmPASizeBits44 from CMake - improve comment why the last page is always excluded Signed-off-by: Axel Heider <axelheider@gmx.de>
axel-h
force-pushed
the
patch-axel-12
branch
from
fd02464 to
da7da58
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Test with: seL4/seL4_tools#135