Ivan, Thanks a lot! Regards, yf On Sat, 2025-03-08 at 11:39 +0000, Ivan Velickovic via Devel wrote:
Hi Yanfeng
Right now attributes like main memory are determined at compile time so if you want to change how much QEMU has you’d have to modify how Microkit compiles support for it.
Here’s a patch that should work: ```patch diff --git a/build_sdk.py b/build_sdk.py index 2aefff6..aafc08c 100644 --- a/build_sdk.py +++ b/build_sdk.py @@ -208,11 +208,11 @@ SUPPORTED_BOARDS = ( name="qemu_virt_riscv64", arch=KernelArch.RISCV64, gcc_cpu=None, - loader_link_address=0x90000000, + loader_link_address=0x84000000, kernel_options={ "KernelPlatform": "qemu-riscv-virt", "KernelIsMCS": True, - "QEMU_MEMORY": "2048", + "QEMU_MEMORY": "128", "KernelRiscvExtD": True, "KernelRiscvExtF": True, }, ```
Ivan
On 8 Mar 2025, at 22:22, Yanfeng Liu via Devel <devel@sel4.systems> wrote:
Ivan,
Congratulations!
I am wondering if we use microkit on a QEMU riscv64 virt board with smaller memory size (like 128MB)?
Are there any notes about how to achieve this?
Regards, yf
On Thu, 2025-03-06 at 06:43 +0000, Ivan Velickovic via Devel wrote:
Hello everyone,
There is a new release of Microkit, version 2.0.0.
This release contains various bug fixes, quality-of-life changes, features, and new board support.
This is a major version bump due to a breaking change. Below the release notes, there is a section on how to upgrade from Microkit 1.4.1.
You can download the pre-built SDK from GitHub: https://github.com/seL4/microkit/releases/tag/2.0.0
Ivan
_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
_______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems