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
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
