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!
Pascal

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!