On Tue, Jan 27, 2015 at 5:43 PM, Thomas Sewell <thomas.sew...@nicta.com.au> wrote:
> There's a bit of history. There always is .. > We did discover once, after verification, that one of the > C assertions was wrongly transcribed from its Haskell > counterpart, so the debug build of the kernel could > panic in a situation where nothing was actually wrong. That is an interesting story. > Well, that's probably more details than you ever wanted to know. Actually, this is precisely why I asked. Thanks, Dave
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
