Jessica Clarke
Jessica Clarke
MACHINE refers to the architecture family, whereas MACHINE_ARCH refers to the specific variant. For x86, MACHINE is already split up into i386 and amd64, so there is only one MACHINE_ARCH...
If not yet bootstrapped, pkg will print out: The package management tool is not yet installed on your system. Do you want to fetch and install it now? [y/N]: and...
configure.ac has: ``` if test "$ac_cv_c_compiler_gnu" = yes; then IRC_CFLAGS="$IRC_CFLAGS -O0 -Wall" fi ``` This is probably not the optimisation level you want to default to, and should probably be...
R_MORELLO_JUMP_SLOT is under-documented; in reality it is the same as R_AARCH64_JUMP_SLOT, with the linker initially filling in the 64-bit VA in the first half of the slot (pointing at the...
To anyone that understands CHERI, `CAP_INIT(S, A, CAP_SIZE, CAP_PERM)` is obviously "the capability with base `S`, offset `A` (i.e. address ("value" in Morello-speak) `S + A`), length `CAP_SIZE` and permissions...
Currently these are both given as `CAP_INIT(S, A, CAP_SIZE, CAP_PERM)`, but that does not make sense. Both always have a null symbol and the image base load offset needs to...
A pointer is a language-level concept, the hardware construct is an integer address. People like to conflate the two, and for many architectures you can get away with it because...
Repeat of #1409 but not from a fork
Currently new and make_unique are as desired but make_shared includes the control block in its bounds.
The motivation behind this is that, as Morello userspace is slowly merged in, we will have a period where only hybrid can be built, and we want to make sure...