Kent,
Thanks. Glad you were able to fix that bug. I noticed that the build system
changed yesterday and tried with it, but was running into some different
issues. Looks like that is all fixed now today as I was able to boot just
fine.
One thing I noticed when I booted today is that I don't
A process is mainly identified by one or more threads that run on its own
virtual memory space. That concept applies not only to seL4 but to all the
OS in general.
In the hello-2, the thread shares the same vspace as the root task (the
root task obtain the vspace from the kernel through the
Hi Mike,
I'm not sure what changes in the last 6 months would have changed your build
from a working to broken state. The below commits[1] are the only changes that
I am aware would change the behavior of smmu permissions.
ID: 98? corresponds to sdmmc3 (there is a table in the tk1 reference