A problem when building pistachio

watchmanxu <[email protected]> Wed, 11 Mar 2009 22:20:55 +0800
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
Hi,
Recently I'm building Pistachio kernel according to the specifications on
the official web page of Pistachio,but now I've encountered some strange
problems.When making the kernel the compiler hint the error message that"
'class intctrl_t' has no member named 'is_pending'".I've checked some
relative files and find nothing wrong.And now I'm highly suspicious that
there is some relationship with my comiler version.I'm using gcc 4.3.2-7 in
Fedora 10.Anyone could tell me the reason?
Best Regards
finyun