The seL4 Core Platform project is being renamed to seL4 Microkit. This is a breaking change and will affect all current users of Microkit.
Why is this happening?
The seL4 Core Platform name, especially the "Core" part, indicates to users of seL4 that it is the framework to build systems with on seL4. This is not true. It is a collection of tools, abstractions and a library to build certain kinds of systems on top of seL4, it is definitely not the only way to build on seL4.
How to refer to seL4 Microkit
In an seL4 context, it is referred as simply "Microkit". In a non-seL4 context it is referred to as "seL4 Microkit".
In code, it is referred to as microkit.
Affects to users
If you are using the Microkit already, the main renames to be aware of are the following:
The library is now called libmicrokit instead of libsel4cp. This means that when you include the library the header is now microkit.h instead of sel4cp.h.
Subsequently, all library API functions are prefixed with microkit_ instead of sel4cp_.
The tool is now called microkit instead of sel4cp.
Apologies for any inconvenience, but the earlier we do the rename, the better.
The seL4 Core Platform project is being renamed to seL4 Microkit. This is a breaking change and will affect all current users of Microkit.
Why is this happening?
The seL4 Core Platform name, especially the "Core" part, indicates to users of seL4 that it is the framework to build systems with on seL4. This is not true. It is a collection of tools, abstractions and a library to build certain kinds of systems on top of seL4, it is definitely not the only way to build on seL4.
How to refer to seL4 Microkit
In an seL4 context, it is referred as simply "Microkit". In a non-seL4 context it is referred to as "seL4 Microkit".
In code, it is referred to as
microkit.Affects to users
If you are using the Microkit already, the main renames to be aware of are the following:
libmicrokitinstead oflibsel4cp. This means that when you include the library the header is nowmicrokit.hinstead ofsel4cp.h.microkit_instead ofsel4cp_.microkitinstead ofsel4cp.Apologies for any inconvenience, but the earlier we do the rename, the better.