cheribsd.py 文件源码

def __init__(self, config: CheriConfig):
        self.installAsRoot = os.getuid() == 0
        self.cheriCXX = self.cheriCC.parent / "clang++"
        archBuildFlags = {
            "CHERI":config.cheriBitsStr,
            "CHERI_CC":str(self.cheriCC),
            "CHERI_CXX":str(self.cheriCXX),
            "CHERI_LD":str(config.sdkBinDir / "ld.lld"),
            "TARGET": "mips",
            "TARGET_ARCH": "mips64"
        }
        if self.mipsOnly:
            archBuildFlags = {"TARGET":"mips", "TARGET_ARCH":"mips64", "WITHOUT_LIB32": True}
            # keep building a cheri kernel even with a mips userspace (mips may be broken...)
            # self.kernelConfig = "MALTA64"
        super().__init__(config, archBuildFlags=archBuildFlags)