Hi I apologize if this is not the right platform to reach people. But I am looking for a freelancer who has some expereince in working with seL4 kernel. I need some aid in implementation of a project. Regards Vicky