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