CTSRD-CHERI / cheribsd

FreeBSD adapted for CHERI-RISC-V and Arm Morello.
http://cheribsd.org
Other
170 stars 60 forks source link

statically linked userspace binaries #748

Closed gvnn3 closed 3 years ago

gvnn3 commented 4 years ago
arichardson commented 4 years ago

Hopefully the first one will be fixed by the new model. However, it might also be the morello compiler not adding sufficient padding, in which case we can ignore it for now. Will check what the compiler does tomorrow morning.

bsdjhb commented 4 years ago

Was the vm one the PTE one? If so, it is now fixed.

jrtc27 commented 4 years ago

I believe so.