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 > [email protected] > https://sel4.systems/lists/listinfo/devel > -- cmr http://octayn.net/ +16038524272
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
