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).