if you don't see this print, you're somehow 
running the wrong kernel.

I can see that.

this one won't print until you start using
the edf scheduler.

Isn't windowing handled like a realtime process? Does it not start any realtime process at boot? I can see that being the problem here.