K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2008-04-20T23:29:06.000000Z
K 7
svn:log
V 296
On the AT91, we need to write on the EOI register after we handle an
interrupt. So, add a new function pointer, arm_post_filter, which defaults
to NULL, and which will be used as the post_filter arg for
intr_event_create(). Set it properly for the AT91, so that it boots again.

Reported by:	hps

END