🥮 mooncakes.io
README

mokomoking2501/lockwire/hal does not have a README file

#
HalCapabilityDescriptor

source
pub(all) struct HalCapabilityDescriptor {
  id : String
  kind : HalCapabilityKind
  profiles : Array[
CapabilityProfile]
  requires_irq : Bool
  requires_dma : Bool
  requires_link_port : Bool
  requires_c_ffi : Bool
  deterministic : Bool
  live_io : Bool
  reference_path : String
} derive(Eq, 
Debug)

#
HalCapabilityDescriptor::requires_physical_hal

source
fn HalCapabilityDescriptor::requires_physical_hal(self : HalCapabilityDescriptor) -> Bool

#
HalCapabilityDescriptor::supports_profile

source

#
HalCapabilityDescriptor::violates_wasm_boundary

source
fn HalCapabilityDescriptor::violates_wasm_boundary(self : HalCapabilityDescriptor) -> Bool

#
HalCapabilityKind

source
pub(all) enum HalCapabilityKind {
  HalVirtualClock
  HalInterrupt
  HalDma
  HalLinkPort
  HalMac
  HalCanFd
  HalUart
  HalFramePool
} derive(Eq, 
Debug)

#
HalCapabilityKind::label

source
fn HalCapabilityKind::label(self : HalCapabilityKind) -> String

#
HalCapabilityReport

source
pub(all) struct HalCapabilityReport {
  catalog_count : Int
  sim_wasm_count : Int
  real_embedded_count : Int
  irq_count : Int
  dma_count : Int
  link_port_count : Int
  native_frame_pool_count : Int
  deterministic_sim_count : Int
  wasm_violation_count : Int
} derive(Eq, 
Debug)

#
HalCapabilityReport::passes

source
fn HalCapabilityReport::passes(self : HalCapabilityReport) -> Bool

#
ThreadxEvidenceKind

source
pub(all) enum ThreadxEvidenceKind {
  ThreadxEvidenceBspProfile
  ThreadxEvidenceThreadxBuild
  ThreadxEvidenceClockCalibration
  ThreadxEvidenceIrqDispatch
  ThreadxEvidenceDmaRegion
  ThreadxEvidenceMacSmoke
  ThreadxEvidenceCanFdSmoke
  ThreadxEvidenceUartSmoke
  ThreadxEvidenceEmbeddedTrace
  ThreadxEvidenceBoardOracle
} derive(Eq, 
Debug)

#
ThreadxEvidenceKind::label

source
fn ThreadxEvidenceKind::label(self : ThreadxEvidenceKind) -> String

#
ThreadxEvidencePlanReport

source
pub(all) struct ThreadxEvidencePlanReport {
  requirement_count : Int
  hook_backed_count : Int
  board_required_count : Int
  threadx_build_required_count : Int
  external_oracle_required_count : Int
  blocked_count : Int
  live_evidence_present_count : Int
  missing_hook_reference_count : Int
  mac_smoke_count : Int
  canfd_smoke_count : Int
  uart_smoke_count : Int
  trace_artifact_count : Int
  board_oracle_count : Int
} derive(Eq, 
Debug)

#
ThreadxEvidencePlanReport::passes_static_plan

source
fn ThreadxEvidencePlanReport::passes_static_plan(self : ThreadxEvidencePlanReport) -> Bool

#
ThreadxEvidenceRequirement

source
pub(all) struct ThreadxEvidenceRequirement {
  id : String
  kind : ThreadxEvidenceKind
  hook_id : String
  artifact_slot : String
  checker_id : String
  blocked_reason : String
  requires_board : Bool
  requires_threadx_build : Bool
  requires_external_oracle : Bool
  live_evidence_present : Bool
} derive(Eq, 
Debug)

#
ThreadxEvidenceRequirement::is_blocked

source

#
ThreadxEvidenceRequirement::references_hook

source

#
ThreadxHalHookDescriptor

source
pub(all) struct ThreadxHalHookDescriptor {
  id : String
  kind : ThreadxHalHookKind
  hal_capability_id : String
  bsp_hook_symbol : String
  requires_bsp : Bool
  requires_irq : Bool
  requires_dma : Bool
  link_port : Bool
  evidence_slot : String
  reference_path : String
} derive(Eq, 
Debug)

#
ThreadxHalHookDescriptor::is_board_backed

source
fn ThreadxHalHookDescriptor::is_board_backed(self : ThreadxHalHookDescriptor) -> Bool

#
ThreadxHalHookKind

source
pub(all) enum ThreadxHalHookKind {
  ThreadxHookClock
  ThreadxHookIrq
  ThreadxHookDma
  ThreadxHookMac
  ThreadxHookCanFd
  ThreadxHookUart
  ThreadxHookFramePool
} derive(Eq, 
Debug)

#
ThreadxHalHookKind::label

source
fn ThreadxHalHookKind::label(self : ThreadxHalHookKind) -> String

#
ThreadxHalSkeletonDescriptor

source
pub(all) struct ThreadxHalSkeletonDescriptor {
  id : String
  profile : 
CapabilityProfile
  reactor_id : String
  board_family : String
  reference_project_path : String
  include_package_ids : Array[String]
  excluded_package_ids : Array[String]
  hook_descriptors : Array[ThreadxHalHookDescriptor]
  requires_bsp_profile : Bool
  requires_threadx_build : Bool
  defer_thread_restricted_calls : Bool
  moonbit_c_ffi_surface : Bool
  sim_default_enabled : Bool
  wasm_ui_default_enabled : Bool
  board_evidence_present : Bool
  threadx_build_evidence_present : Bool
} derive(Eq, 
Debug)

#
ThreadxHalSkeletonDescriptor::excludes_package

source
fn ThreadxHalSkeletonDescriptor::excludes_package(self : ThreadxHalSkeletonDescriptor, id : String) -> Bool

#
ThreadxHalSkeletonDescriptor::has_hal_capability

source
fn ThreadxHalSkeletonDescriptor::has_hal_capability(self : ThreadxHalSkeletonDescriptor, id : String) -> Bool

#
ThreadxHalSkeletonDescriptor::has_hook_kind

source

#
ThreadxHalSkeletonDescriptor::hook_count

source

#
ThreadxHalSkeletonDescriptor::includes_package

source
fn ThreadxHalSkeletonDescriptor::includes_package(self : ThreadxHalSkeletonDescriptor, id : String) -> Bool

#
ThreadxHalSkeletonDescriptor::missing_hal_reference_count

source
fn ThreadxHalSkeletonDescriptor::missing_hal_reference_count(self : ThreadxHalSkeletonDescriptor, catalog : ArrayView[HalCapabilityDescriptor]) -> Int

#
ThreadxHalSkeletonDescriptor::passes_static_boundary

source
fn ThreadxHalSkeletonDescriptor::passes_static_boundary(self : ThreadxHalSkeletonDescriptor) -> Bool

#
ThreadxHalSkeletonReport

source
pub(all) struct ThreadxHalSkeletonReport {
  descriptor_count : Int
  hook_count : Int
  bsp_hook_count : Int
  irq_hook_count : Int
  dma_hook_count : Int
  link_port_hook_count : Int
  missing_hal_reference_count : Int
  include_package_count : Int
  excluded_package_count : Int
  c_ffi_surface_present : Bool
  sim_default_enabled : Bool
  wasm_ui_default_enabled : Bool
  board_evidence_present : Bool
  threadx_build_evidence_present : Bool
  defer_thread_restricted_calls : Bool
} derive(Eq, 
Debug)

#
ThreadxHalSkeletonReport::passes

source

#
hal_capability_catalog

source
fn hal_capability_catalog() -> Array[HalCapabilityDescriptor]

#
hal_capability_report

source
fn hal_capability_report() -> HalCapabilityReport

#
package_id

source
fn package_id() -> String

#
threadx_evidence_plan_report

source
fn threadx_evidence_plan_report() -> ThreadxEvidencePlanReport

#
threadx_evidence_requirements

source
fn threadx_evidence_requirements() -> Array[ThreadxEvidenceRequirement]

#
threadx_hal_hook_catalog

source
fn threadx_hal_hook_catalog() -> Array[ThreadxHalHookDescriptor]

#
threadx_hal_skeleton_descriptor

source
fn threadx_hal_skeleton_descriptor() -> ThreadxHalSkeletonDescriptor

#
threadx_hal_skeleton_report

source
fn threadx_hal_skeleton_report() -> ThreadxHalSkeletonReport

Source Files

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io