7 Jan
2017
7 Jan
'17
11:19 a.m.
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
-- cmr http://octayn.net/ +16038524272