On Sat, Feb 18, 2006 at 11:43:37AM -0400, Jared D. McNeill wrote:
> Huge XXX. But with interrupts disabled, we need to update the animation
> somewhere... I'm open for ideas on a better place.

I'd say just move the definition of the option to sys/conf/files, if the
splash is machine independ (as you said).

Martin