The Case for Writing a Kernel in Rust Amit Levy Stanford University levya@cs.stanford.edu Bradford Campbell University of Michigan bradjc@umich.edu Branden Ghena University of Michigan brghena@umich.edu Pat Pannuto University of Michigan ppannuto@umich.edu Prabal Dutta University of Michigan prabal@umich.edu Philip Levis Stanford University pal@cs.stanford.edu ABSTRACT Decades of research has atte