Hi Ashokk,
The seL4 kernel itself already runs on the RPi3 -- if you'd like to construct a userspace around the seL4 kernel, you'd need to begin by examining the bootinfo structure that is passed to the root task, and parsing it for the untypeds that represent physical memory. From there you'd construct some sort of physical memory manager and then some kind of virtual memory manager in userspace, and then move on to creating some kind of object manager that can give you kernel objects of a specific type (TCBs, etc). ?We have libraries which already do this such as "allocman", "vka", "vspace" and so on -- this is a very broad-strokes answer though, so could you talk in greater detail about what you're trying to accomplish? -- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO ________________________________ From: Devel <[email protected]> on behalf of [email protected] <[email protected]> Sent: 03 October 2017 17:50 To: [email protected] Subject: [seL4] SEL4 on Rasperry pi 3 Hi, I successfully compiled and run sel4 image for rasperry pi 3. while running it successfully passes all the tests, then it stopped now what? I need to bring sel4 kernel on top of rasperry pi 3... do you guys have any idea or links please share with me.. i am following below link.. https://research.csiro.au/tsblog/sel4-raspberry-pi-3/ Regards Ashok
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
