outfitting thinker, a ThinkPad T430

[dckc]

After wishing for a used Genode-compatible machine for years, I got this Lenovo Thinkpad T430 for my birthday. earlier notes: https://github.com/dckc/madmode-blog/issues/49#issuecomment-1352590207

Hardware Probe, Inventory

• HW probe of Lenovo ThinkPad T430 2347G5... #e47e7c18c9

$ hw-probe -generate-inventory -email dckc@madmode.com
Inventory ID: LHW-675F-64D3-2081-72A2

2016: Dell OptiPlex, HP Envy

• sculpt-20-08 hangs on Dell OptiPlex 3050 · Issue #3918 · genodelabs/genode

[dckc]

128GB SSD Benchmark

Read Rate: 556.1 MB/s Access Time: 0.05 msec

[dckc]

Linux Hardware Inventory

• Computers
  • Lenovo ThinkPad T430 2347G5...
    • HW probe of Lenovo ThinkPad T430 2347G5... #e47e7c18c9

[dckc]

Genode Hardware Compatibility

Genode Sculpt is tested best on laptops of the Lenovo X and T series (X220, X250, X260, T430, T460, T470, T490). -- Hardware requirements and preparations, Genode - Sculpt Operating System 22.10

System	HVM	IOMMU	TZ	Serial	GPU	Audio	WLAN	LAN	AHCI	USB	GPIO	SDHC	Notes
Thinkpad T430(s)	✓	✓¹	N/A	AMT¹ / RS232²	infel_fb	✓	✓	✓	✓	✓	N/A		ext. displays only via VGA if Nvidia GPU is present

-- Unofficial Genode HCL

[dckc]

Setting it up as anything close to a "daily driver" is still in progres...

• 49

But the machine itself is more or less outfitted for duty.