On 20 Nov 2020, at 03:29, Demi M. Obenour <demiobenour@gmail.com> wrote:

Is sel4corelib is intended to have a stable API
and ABI, or at least a versioned one?

definitely, that’s the point