I came across this brilliant blogpost ( http://allsoftwaresucks.blogspot.in/2013/05/porting-genode-to-commercial-har...).

Stefan said, and I agree, that since Genode already supports OMAP4460, this was achievable. I also read this post: http://genode.org/documentation/articles/pandaboard I understand that porting is a very OS-and-device specific process. But it would be really helpful if there is any form of resource/documentation for porting an OS. Because, learning how to port an OS seems like a good skill to have in your arsenal.

Thanks Aditya Kousik