Jakub,

> Perfect, I've just merged the two commits related to the PTE layout.
> Thanks again for contributing this.
>

No problem.


> This is a SMP-enabled kernel, right? You may look for some hints about
> the other CPUs on the serial console (if applicable) or the output of
> kconsole (there you should be able to scroll using the keyboard) or cat
> /log/kernel.
>

Unfortunately I don't have access to the serial console. Was kconsole
designed to work with USB? I think maybe not, unfortunately.


> I noticed some trac messages related to your account a couple of days
> ago. Unfortunately I don't know what's wrong there. Don't you receive
> the e-mail with the reset password?
>

No :( I even checked the spam folder. Can you remove the account and I will
recreate it?

BTW, I think the XHCI issue is related to interrupt claims. On the Mac
Mini, "cat /log/pciintel" shows literally all devices assigned IRQ 0. I
suppose MSI is not used. I am thinking maybe either XHCI driver should poll
before timing out, or more sophisticated interrupt handling should be done
(reassigning IRQ numbers at boot or using MSI).

-CP
_______________________________________________
HelenOS-devel mailing list
[email protected]
http://lists.modry.cz/listinfo/helenos-devel

Reply via email to