# PF: SEAD3
# PFDESCR: MIPS SEAD3 platform
# PFDEPENDS: MIPS
# PFSELECT: SYS_HAS_CPU_MIPS32_R2
# PFSELECT: HAS_WEAK_ORDERING_OPTION
# PFSELECT: HAS_LIGHTWEIGHT_BARRIERS_OPTION
