Linux kernel playground on OMAP4