[patch-axel-87a] support qemu-riscv-virt platform test #12
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-87a
branch
10 times, most recently
from
65d7e5f to
18fc171
Compare
axel-h
force-pushed
the
patch-axel-87a
branch
2 times, most recently
from
5d1c85a to
33a710c
Compare
axel-h
force-pushed
the
patch-axel-87a
branch
12 times, most recently
from
cf0c7f2 to
ea0fa5d
Compare
Sometimes device trees may have differences between vanilla Linux and SoC vendor, and the changes can be tedious to override with a device tree overlay. This change allows overriding the platform default dts and overlays with a custom dts. Signed-off-by: Markku Ahvenjärvi <markkux@ssrc.tii.ae>
Generated from maaxboard-dcss-hdmi.dts (Avnet/linux-imx) for more comprehensive device support. Updated overlay to align. Signed-off-by: Mark Jenkinson <mark.jenkinson@capgemini.com>
There are cases that reasonably require non-ASCII characters in the source code, hence tools/bitfield_gen.py must be able to handle them correctly. This commit makes sure the bitfield generator consistently opens all files with UTF-8 encoding. Co-authored-by: Gerwin Klein <gerwin.klein@proofcraft.systems> Signed-off-by: Bin Meng <bmeng.cn@gmail.com>
This commit introduces `addressTranslateS1` to be used on Arm platforms with hypervisor enabled for stage 1 (vaddr to IPA) translation. On AArch32 this is a rename from `addressTranslateS1CPR`, and on AArch64 it wraps `ats1e1r`. This changes the ABI on AArch64 to report faulting address as IPA. Reasoning: With hypervisor enabled, AArch64 defined `addressTranslateS1CPR` to do nothing, while AArch32 defined it to do stage 1 translation. This delivered VM faults to the user with the faulting address being either an IPA or a vaddr depending on mode. This inconsistency is undesireable. This commit proposes adjusting the inconsistency to match AArch32 behaviour, as it is one of the verified platforms. Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
For a VM fault in a hypervisor context, 32-bit Arm translated the IP address into an IPA, while 64-bit Arm did not. The previous commit made these consistent by performing the translation on both. After investigation and discussion, the 32-bit Arm behaviour was declared a bug: reporting an IPA (instead of a VA) to the VMM is not very useful and can cause issues when the fault message is not sent immediately (SELFOUR-1602). This commit, therefore, removes all stage 1 translation from Arch_setMRs_fault on Arm platforms. Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
Also reject any unknown CPU. Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
- makes setting more generic an allow overriding parameters - save QEMU parameters in DTS as comment Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
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