>> Dmesg would not give you any useful information there. A DMAR table >> is either present, or is it not. In the later case, OS cannot use the >> hardware, and if no option in BIOS is present, your only choice is to >> complain to the machine/BIOS vendor. > Check also if there's any BIOS update from the manufacturer. > > Roger. Thank you all. The box has already the last vendor's BIOS version. I've checked the bios of another DELL machine (a laptop) having vt-d on the micro, and the BIOS on that machine has an option to enable or disable VT-d, while the bios of the DEL 3020 misses that option. So as Konstantin said, the bios is not advertising the VT-d capability bundled in the chip, so I guess I can't move until the vendor decides to implement that in its bios firmware. Best all and thank you, G. -- --------------------------------------------------------------------------- Prou top-posting : http://ca.wikipedia.org/wiki/Top-posting Stop top-posting : http://en.wikipedia.org/wiki/Posting_style O O O Gustau Pérez i Querol O O O Unitat de Gestió dels departaments O O O Matemàtica Aplicada IV i Enginyeria Telemàtica Universitat Politècnica de Catalunya Edifici C3 - Despatx S101-B UPC Campus Nord UPC C/ Jordi Girona, 1-3 08034 - BarcelonaReceived on Thu Apr 09 2015 - 06:44:24 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:56 UTC