recommended hardware

[Christian Helmuth]

Hello,

some additional remarks from me.

On Tue, Jan 06, 2015 at 11:15:54AM +0100, Josef Söntgen wrote:
> * full support for Intel AMT — some Thinkpads claim to have full AMT 
>   support but do not have it actually (note: AMT is not required for 
>   running Genode but eases debugging by providing a serial connection)

The best is to look out for the "Intel vPro" label and to make sure
the reseller does not fiddle with the AMT feature (as Dell did with a
notebook we purchased last year).

> * working ACPI implementation because on some Thinkpads, e.g. T440s,
>   wrong IRQs are reported via ACPI leading currently to non-working
>   drivers

It's not easy to ensure a working ACPI interrupt table as recent OSes
mostly use MSIs (message-signalled interrupts) on capable devices. For
this reason, we plan to enable MSI support (at least on NOVA) this
year. A short-term quickfix is to manually identify the correct GSI
numbers and patch the drivers as we did for testing/demoing recently.

> A Thinkpad model that works well in our experience is the X201 (that is
> the one Norman mostly uses for his presentations) and from my experience
> the T430 does too relating to the list above.

We have positive experiences with T61, T400, T410, and T420 too.
Furthermore, we enabled (with some effort) a Dell Mobile Workstation
(Precision M6800) and some other mobile PCs.

Regards
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth