Linehu
174af71b39
- VMM cluster: XJ3-E/LIN-E/VMM-E/VMX-E/EPT-E/IPC-E/VVB-E (124 sites) - kernel cluster: TST-E/MM-E/UTRW-E/LAPIC-E/IDT-E/SAS-E/PRB-E/NETST-E/DKM-E (117 sites) - whitelist fixes: vmm_init env probes E10-E14 fallback, disk_log read-only block path, DSL-E05 non-FAT32 device 0 probe - QEMU smoke: wizard -> USER.CONF -> login -> desktop ready, zero spurious panic
79 lines
2.3 KiB
C
79 lines
2.3 KiB
C
#include <utsm/dkm.h>
|
|
#include <utsm/log.h>
|
|
#include <utsm/panic.h>
|
|
|
|
static int dkm_validate_desc(const dkm_driver_desc *desc) {
|
|
if (!desc) {
|
|
return -1;
|
|
}
|
|
if (desc->magic != DKM_DRIVER_MAGIC) {
|
|
return -2;
|
|
}
|
|
if (desc->abi_version != DKM_ABI_VERSION) {
|
|
return -3;
|
|
}
|
|
if (desc->desc_size < sizeof(dkm_driver_desc)) {
|
|
return -4;
|
|
}
|
|
if (!desc->name || !desc->version) {
|
|
return -5;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
void dkm_init(void) {
|
|
log_info("[DKM] init begin");
|
|
int status = dkm_load_builtin(&dkm_builtin_console_early);
|
|
if (status == 0) {
|
|
log_info("[DKM] init ok");
|
|
} else {
|
|
log_error("[DKM] init failed");
|
|
panic_full("DKM-E50 BUILTIN INIT FAILED",
|
|
"dkm_init: builtin console_early load failed", 0);
|
|
}
|
|
}
|
|
|
|
int dkm_load_builtin(const dkm_builtin_driver *driver) {
|
|
if (!driver || !driver->desc || !driver->init) {
|
|
log_error("[DKM] invalid builtin driver");
|
|
panic_full("DKM-E51 INVALID BUILTIN DRIVER",
|
|
"dkm_load_builtin: builtin driver descriptor invalid", 0);
|
|
return -1;
|
|
}
|
|
|
|
int status = dkm_validate_desc(driver->desc);
|
|
if (status != 0) {
|
|
log_error("[DKM] driver_desc rejected");
|
|
panic_full("DKM-E52 DRIVER DESC REJECTED",
|
|
"dkm_load_builtin: builtin driver_desc validation failed", 0);
|
|
return status;
|
|
}
|
|
|
|
dkm_driver_handle handle;
|
|
handle.desc = driver->desc;
|
|
handle.state = DKM_STATE_ABI_CHECKED;
|
|
handle.init_status = 0;
|
|
handle.load_stage = driver->desc->stage;
|
|
handle.flags = driver->desc->flags;
|
|
|
|
log_info("[DKM] builtin driver init begin");
|
|
log_info(driver->desc->name);
|
|
dkm_log_set_driver(driver->desc->name); /* D4: 驱动自己的颜色 */
|
|
handle.state = DKM_STATE_INITING;
|
|
status = driver->init(dkm_get_kernel_api(), &handle);
|
|
dkm_log_set_driver(0);
|
|
handle.init_status = status;
|
|
|
|
if (status != 0) {
|
|
handle.state = DKM_STATE_FAILED;
|
|
log_error("[DKM] builtin driver init failed");
|
|
panic_full("DKM-E53 BUILTIN DRIVER INIT FAILED",
|
|
"dkm_load_builtin: builtin driver_init returned non-zero", 0);
|
|
return status;
|
|
}
|
|
|
|
handle.state = DKM_STATE_ACTIVE;
|
|
log_info("[DKM] builtin driver active");
|
|
return 0;
|
|
}
|