Skip to main content

Module aarch64r82_unknown_ferrocene_facade

Module aarch64r82_unknown_ferrocene_facade 

Source
Expand description

This custom target (only available in Ferrocene) is meant to be used internally to test whether the core library works, as we need a standard library to run tests.

The target has the exact same configuration as the target we want to test, with just the bits specific to the standard library enabled.

THIS IS TEMPORARY. We implemented this solution as we needed to run bare-metal tests for qualification, but we’re planning a cleaner implementation to upstream.

Functions§

target 🔒