Function is_kernel_object 

pub fn is_kernel_object(path: &str) -> bool

Whether path names a kernel object under /proc, /sys or /dev rather than a host input file: its metadata is not file content, and Hermit virtualizes those trees separately.