There are two questions that together address the issue of how to upgrade CheriBSD installations, and both reference source code compilation. In response to #4, @jrtc27 mentioned that it might be ill-advised to direct participants down this route and that the preferred method is to use the supplied installers. From my perspective, and given the time available to them, I would suggest opening the response to that kind of question by first referencing the supported installer at cheribsd.org, as it provides consistent outcomes for the group.
There are two questions that together address the issue of how to upgrade CheriBSD installations, and both reference source code compilation. In response to #4, @jrtc27 mentioned that it might be ill-advised to direct participants down this route and that the preferred method is to use the supplied installers. From my perspective, and given the time available to them, I would suggest opening the response to that kind of question by first referencing the supported installer at cheribsd.org, as it provides consistent outcomes for the group.