const Toolchain &get_toolchain() const { return local_tools; }
const ComponentList &get_components() const { return components; }
const Config &get_config() const { return config; }
const Toolchain &get_toolchain() const { return local_tools; }
const ComponentList &get_components() const { return components; }
const Config &get_config() const { return config; }