John Baldwin

.github: Update the style checker action for CheriBSD

4

This is very expensive to run against merges from dev to main. Even for PRs against dev we would only want it to be advisory (and wouldn't want it for...

Arm64 vmrun.sh for bhyve

1

This let me run a VM similar to what I use for amd64 as a single line: ``` name="installer" tap="tap0" sudo sh /path/to/vmrun.sh -c 1 -t ${tap} -m 4G -d...

After a medium-length discussion with Kevin, we have arrived at the following requirements for mincore(2)'s address argument. We should ensure CheriBSD is using these same rules: https://git.morello-project.org/morello/kernel/linux/-/wikis/Morello-pure-capability-kernel-user-Linux-ABI-specification#mincore

I think we patched subversion in FreeBSD to default to diff3 style conflicts instead of diff2. Git defaults to diff2, but can be changed to use diff3 via this snippet...

Port OpenSSL assembly routines to Morello

4

- **OpenSSL arm_arch.h: Add helper macros for purecap support** - **OpenSSL arm64cpuid.pl: Add purecap support** - **OpenSSL aesv8-armx.pl: Add purecap support** - **OpenSSL vpaes-armv8.pl: Add purecap support** - **OpenSSL armv8-mont.pl:...

- **ktls: Use SOPT_SETCAP to fix KTLS socket options for CHERI kernels** - **sys: Replace SOPT_SET/GETCAP with sooptcopyincap**

MdePkg: Fix a buffer overread.

3

DevPathToTextUsbWWID allocates a separate copy of the SerialNumber string to append a null terminator if the original string is not null terminated. However, by using AllocateCopyPool, it tries to copy...

Remove support for SOC FPGA drivers

2

The drivers have been disconnected from the build since the removal of the SOCFPGA kernel configs.