oxidecomputer / phbl

Pico Host Boot Loader
Mozilla Public License 2.0
101 stars 7 forks source link

KFlags: Pass flags to kernel #44

Closed dancrossnyc closed 5 months ago

dancrossnyc commented 8 months ago

Arrange to pass flags to the loaded kernel. These mirror the flags we could send via IPCC, as well as a "machine type" which (nominally) tells the loaded kernel what kind of machine it will run on. This allows us to tell the kernel that we're running on, e.g., a dev machine based on a reference design in the same image we would use on an Oxide machine, where we use the IPCC protocol to communicate with a service processor.

We can specify different combinations of things using flags and machine types using cargo features.

Tested on sn14.

dancrossnyc commented 5 months ago

This has been obviated by Andy's work on platform detection in illumos. Closing.