Which rootfs to use?

HI everyone,

I followed the instructions on the Emlid’s github to build the kernel rpi-3.18.9-rt5 and I would like to know how to format the microsd card before copying files to it? Moreover, which rootfs should I use, please?

Thanks in advance for your help!

The instructions implicitly rely on the stock Raspbian image. In order to overwrite an old kernel and modules, please follow this step.

Thank you, I didnt think that the kernel et modules could be overwritten. I had thougt about recreating all from zero!