Sounds about right to me. Do it before base_cpu_load, which reloads the tss anyway. It falls appropriately into the various *_init calls right there.
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
