Re: rumpkernel on RPi

[Barbu Paul - Gheorghe]

Please keep us posted with the progress!
On Jan 27, 2016 11:48 AM, "sreekanth guru" <sreekanth.i...@gmail.com> wrote:

Hi,

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

Thanks,

-Sreekanth