main.cxx File Reference

Kernel main entry point. More...

import zxfoundation.base.types;
import zxfoundation.sys.time.core;
import zxfoundation.sys.timer.core;
import zxfoundation.sys.printk.core;
import zxfoundation.base.config;
import zxfoundation.memory.pmm;
import zxfoundation.sys.irq.core;
import zxfoundation.sys.syschk.core;
import zxfoundation.sys.service.core;
import zxfoundation.sys.zxio.core;
import zxfoundation.memory.hhdm;
import zxfoundation.memory.numa;
import zxfoundation.base.cxxrtse.cxxabi;
import zxfoundation.memory.slub;
import zxfoundation.sync.rcu.core;
import zxfoundation.memory.kmalloc;
import zxfoundation.memory.vm;
import zxfoundation.memory.objects;
import zxfoundation.dgp.cap.core;
import zxfoundation.dgp.cap.types;
import zxfoundation.scoms.kobject.base;
import zxfoundation.scoms.kobject.types;
import zxfoundation.memory.rmap;
import zxfoundation.memory.reclaim;
import zxfoundation.sys.ipc.core;
import zxfoundation.sched.core;
import zxfoundation.sched.strandctx.core;
import zxfoundation.sched.numa.core;
import zxfoundation.init.bootstrap.core;
import zxfoundation.init.storage.core;
import zxfoundation.dgp.domain.core;
import zxfoundation.dgp.domain.types;
import zxfoundation.dgp.gate.core;
import zxfoundation.dgp.gate.registration;
import zxfoundation.dgp.portal;
import zxfoundation.dgp.isolation;
import zxfoundation.dgp.isolation.types;
import zxfoundation.dgp.policy;
import zxfoundation.base.cmdline.core;
import arch.s390x.init.zxfl.protocol;
import arch.s390x.cpu.percpu;
import arch.s390x.cpu.processor;
import arch.s390x.cpu.lowcore;
import arch.s390x.cpu.psw;
import arch.s390x.cpu.smp;
import arch.s390x.cpu.features;
import arch.s390x.cpu.irq;
import arch.s390x.mmu.core;
import arch.s390x.cpu.aste;
import arch.s390x.io.css.subchannel;
import arch.s390x.io.ccw.core;
import crypto.sha256.core;
import drivers.console.diag.core;
import drivers.watchdog.core;
import lib.error;
import std;

Functions
auto	zxfoundation::init::detail::banner (const arch::s390x::init::zxfl::protocol &proto) -> void
	Print the kernel banner.
auto	zxfoundation::init::detail::cap_register_lookup () -> void
auto	zxfoundation::init::detail::cmdline_init (const arch::s390x::init::zxfl::protocol &proto) -> void
auto	zxfoundation::init::detail::initialize_hhdm_contract (const arch::s390x::init::zxfl::protocol &boot) -> void
	Initialize the HHDM coverage contract exported by ZXFL.
auto	zxfoundation::init::detail::initialize_numa_topology (const arch::s390x::init::zxfl::protocol &boot) -> void
	Initialize optional NUMA topology without making topology evidence a boot blocker.
auto	zxfoundation::init::detail::launch_bootstrap_domain (const arch::s390x::init::zxfl::protocol &proto) -> void
template<typename... Args>
auto	perr (std::string_view fmt, Args &&... args) noexcept -> void
template<typename... Args>
auto	pinfo (std::string_view fmt, Args &&... args) noexcept -> void
template<typename... Args>
auto	pnotice (std::string_view fmt, Args &&... args) noexcept -> void
template<typename... Args>
auto	pverbose (std::string_view fmt, Args &&... args) noexcept -> void
auto	zxfoundation::init::detail::reclaim_entry_install () -> void
auto	zxfoundation::init::detail::reclaim_for_pmm (u8 node, u32 target_pages) noexcept -> u32
auto	zxfoundation::init::detail::rmap_init () -> void
auto	zxfoundation::init::detail::validate_stack_frame (const arch::s390x::init::zxfl::protocol &boot) -> void
	Validate the loader-written stack frame canary at kernel_stack_top.
auto	zxfoundation::init::detail::verify_kernel_checksums (const arch::s390x::init::zxfl::protocol &boot) -> void
	Re-verify all kernel segment checksums from the HHDM-mapped image.
auto	zxfoundation::init::detail::verify_loader_fingerprint (const arch::s390x::init::zxfl::protocol &boot) -> void
	Verify loader identity fingerprint against the embedded expected digest.
auto	zxfoundation::init::detail::verify_protocol_integrity (const arch::s390x::init::zxfl::protocol &boot) -> void
	Verify the boot protocol magic and binding token.

Detailed Description

Kernel main entry point.

SPDX-License-Identifier: Apache-2.0

Function Documentation

initialize_hhdm_contract()

auto zxfoundation::init::detail::initialize_hhdm_contract

(

const arch::s390x::init::zxfl::protocol &

boot

)

->void

Initialize the HHDM coverage contract exported by ZXFL.

Parameters

[in]

boot

Loader protocol containing the active direct-map coverage evidence.

Note

The kernel treats ZXFL as the IPL authority for the initial DAT map and verifies the reported bounds locally.

Warning

Failure is fatal because later PMM/MMU table initialization writes through the HHDM.