platform_info Struct Reference

Struct that can be used to request/parse platform information. More...

Detailed Description

Struct that can be used to request/parse platform information.

---

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

• include/barrelfish_kpi/platform.h