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
