Will do. On Mon, Jun 29, 2015, 7:05 PM Anna Lyons <[email protected]> wrote:
> > 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 > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
