Function kernel_stdlib_all_modules_compile

tests/integration/kernel_modules.rs:27–36

()

    p.set_type_prelude(get_stdlib_type_prelude());
    p.compile_modules(&modules)
        .unwrap_or_else(|e| panic!("kernel stdlib modules failed to compile:\n{e}"));
}

#[test]
fn kernel_stdlib_full_bundle_compiles() {
    CompilationPipeline::compile_stdlib_objects(TargetMode::Kernel)
        .unwrap_or_else(|e| panic!("kernel stdlib failed to compile:\n{e}"));
}

// --- Individual kernel HLL modules ---

#[test]
fn kernel_entry_compiles() {