Hi Aveek, Hi Till, Julia Lawall, Ralf Ramsauer and me have put together a set of GSoC project proposals under Linux in High-Integrity Regulated Environments (former: SIL2LinuxMP); we could also call it "Quality Assessment and Assurance of the Linux kernel". So, we are ready to get applications and we will use our channels to start distributing to students as soon as we are certain that LF gets accepted.
Thanks for your effort, Lukas
