pub fn build_kernel_header(
kernel: &BuiltKernel,
builder: &KernelBuilder,
api_port: u16,
) -> KernelHeaderExpand description
Build a KernelHeader for embedding into an RVF KERNEL_SEG.
This is a convenience function that constructs a properly filled
KernelHeader from a BuiltKernel and builder configuration.