@TechReport{
Spall16kIDL,
Author = {Sarah Spall},
Title = {{kIDL:} Interface Definition Language for the Kernel},
School = {University of Utah},
Year = {2016}
}