On Saturday, 23 of August 2008, you wrote:

Arrgh...I spoke too soon. It'll boot if I disable hrtimers, but I also
have to make it use jiffies as the clocksource...so I guess we're back
to square one. If i have hrtimers enabled, with or without
clocksource=jiffies, I end up getting segfaults...so, I'm pretty much
not sure what to do at this point, but relay this message to the pros.

Well, thanks for the update again.

I've added some CCs to the message, perhaps someone will have an idea what to
do next.

Thanks,
Rafafel