Ivan
Does microkit 2.0 support running VM on qemu_virt_riscv64 now?
Regards,
yf
On Thu, 2025-03-06 at 06:43 +, 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, fe
"KernelIsMCS": True,
> - "QEMU_MEMORY": "2048",
> + "QEMU_MEMORY": "128",
> "KernelRiscvExtD": True,
> "KernelRiscvExtF": True,
> },
> ```
>
> Ivan
>
> >
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 +, Ivan Velickovic via Devel wrote:
> Hello everyone,
>
> There is a new re
Happy new year! dear experts,
It seems that user space image frames of initial thread are created before
initial untypeds, may I ask can we reclaim some of those frames after use? will
this lead to creation of addtional root untypeds?
Regards,
yf
___
Dear experts,
I am wondering how seL4 app can reclaim some root server memory frames at later
stage of bootstrapping?
Regards,
yf
___
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
On Tue, 2024-12-17 at 11:44 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-17 06:26, Yanfeng Liu wrote:
> > Thanks for this information. Here I use it to get unused space for an
> > Untyped
> > object as `((1 << capBlockSize) - (capFreeIndex <<
> > seL4_MinUntypedBits))`
> > following a
On Mon, 2024-12-16 at 10:30 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-15 21:52, Yanfeng Liu wrote:
> > I was wondering how to get total unused space of an untyped object? My
> > understanding is to follow the linked list from the untyped and sum up
> > free
> > space of all encounte
On Sat, 2024-12-14 at 22:56 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-13 05:51, Yanfeng Liu via Devel wrote:
> > can we take that:
> > - non-zero `mdbNext` must pointer to entries in CNodes or TCB blocks?
>
> If you mean that the derivation tree is
On Thu, 2024-12-12 at 13:29 +, Indan Zupancic wrote:
> Hello,
>
> On 2024-12-12 12:42, Yanfeng Liu via Devel wrote:
> > I noticed that `mdb_node_t` has `mdbPrev` and `mdbNext` pointer fields
> > but
> > not sure how can they be used to travel the capabilit
On Thu, 2024-12-12 at 13:29 +, Indan Zupancic wrote:
> Hello,
>
> On 2024-12-12 12:42, Yanfeng Liu via Devel wrote:
> > I noticed that `mdb_node_t` has `mdbPrev` and `mdbNext` pointer fields
> > but
> > not sure how can they be used to travel the capabilit
Dear experts,
I am trying to understand the memory usage of a running seL4 demo with help of
GDB.
I am wondering how I can travel the Capability derivation tree starting from
original untyped objects and see how memory are used.
I noticed that `mdb_node_t` has `mdbPrev` and `mdbNext` pointer fi
On Wed, 2024-12-04 at 21:49 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-02 02:56, Yanfeng Liu via Devel wrote:
> > > Figure 3.3 depicts an example CSpace. In order to illustrate these
> > > ideas,
> > we determine the address of each of the 10 capabi
Dear experts,
When reading section 3.3.2 of the latest seL4 manual, it says:
> Figure 3.3 depicts an example CSpace. In order to illustrate these ideas, we
determine the address of each of the 10 capabilities in this CSpace.
I guess the total number of 10 is made of 3 caps for CNode types and 7
13 matches
Mail list logo
