Hi,<br>I have downloaded Barrelfish source code, and noticed a detail in<br>the README file, saying:<br>The biggest compatibility problems are likely to be in the PCI/ACPI<br>code. We...on each new machine we test. The following systems are known to work:<br>
* Intel x5000XVN<br> * ...<br> * Lenovo X200 and X301 laptops<br>I wondered can the last item "Lenovo laptops" be used as your testing<br>platforms? Aren't they just 32-bit machines for desktop use? Have the<br>
X200 and X301 got 64-bit architecture supporting? If not, how to run <br>your 64-bit code on them?<br>My problem is I have only such laptops rather than high-perfomance <br>machines, I am eagerly to know whether I can take the laptops as proper <br>
experimental platforms and how to make it if so?<br>Thanks in advance.<br><br>Best regards,<br>Peng<br>--<br>