Hi,

>
> Currently there is at least one known problem, I modified
> bitfield_gen.py so types_gen.h has no asserts since at the moment the
> kernel uses assert and userspace is libsel4_assert. We could either do
> something like I've done and remove them or change the kernel to use
> libsel4_assert or something else.
>

The asserts are really important to avoid horrible bugs when using
functions created by the bitfield generator, so if we go ahead with this
let's make sure they survive in some form.

Cheers,
Anna.

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

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