arm_core_data Struct Reference

Data sent to a newly booted kernel. More...

Detailed Description

Data sent to a newly booted kernel.

---

The documentation for this struct was generated from the following file:

• include/target/arm/barrelfish_kpi/arm_core_data.h