rumpkernel on RPi

[sreekanth guru]

Hi,

I want to port rump kernel on Raspberry Pi, can you please provide
some pointers where I can start.

Thanks,

-Sreekanth