This crate contains what could be called “kernel headers” (syscall identifiers and other structs needed to communicate with Oak Restricted Kernel).
