http://p4web.freebsd.org/@@213448?ac=10 Change 213448 by rwatson at rwatson_svr_ctsrd_mipsbuild on 2012/06/25 16:18:40 Add CHERI_SIM_MDROOT, based on BERI_SIM_MDROOT, offering a simulator-customised CheriBSD kernel configuration. Affected files ... .. //depot/projects/ctsrd/cheribsd/src/sys/mips/conf/CHERI_SIM_MDROOT#1 add Differences ...