Re: [seL4] config-independent object type numbers

Actually, I think I'm mistaken? I see there are #define's for those config-dependent objects. I guess I should get out of the habit of reading kernel_final.c

On 01/06/2017 07:01 PM, Corey Richardson wrote:

Right now, object type numbers vary based on the kernel config (eg, CONFIG_VTX) etc. This is a huge source of pain for the Rust userspace libraries which don't integrate with seL4's build system. Is it possible for those enums to explicitly label every potential object type for a given architecture with a fixed number?

---

Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel