[klee-dev] [PATCH] uClibc on x86_64 -- kernel_types.h

[Matthew L. Creech]

The include guards in kernel_types.h on x86_64 Gentoo are apparently
different than those used by other distros.  This may be a problem
with upstream uClibc (the comments say "Erik"), but I'm specifically
trying to get klee-uclibc working, so I figured I'd post the patches
here.

-- 
Matthew L. Creech
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 01-kernel_types-64-bit.patch
Type: application/octet-stream
Size: 677 bytes
Desc: not available
Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091029/f702b49c/attachment.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 02-kernel_types-64-bit.patch
Type: application/octet-stream
Size: 667 bytes
Desc: not available
Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091029/f702b49c/attachment-0001.obj