




















7 Hours
4
0
$1,250.00
Note: KSL, its service providers, and the seller receive data from this message. See our Privacy Notice and TOU for details.
VenmoI am selling my TuxedoBook with a 15 inch screen that has 240Hz refresh rate and 500 nits of brightness. I ordered it directly from the manufacturer in Germany and can email you the receipt. Comes with the original box and accessories (mousepad - unused and wrapped - and a charger). Full specs below (WiFi 7, Bluetooth 5.4, Intel Core Ultra 7 255H, Intel Arc 140T). I currently installed a clean version of Fedora 44 KDE on it so you can download whatever Linux distro suits your need. Laptop works flawlessly. I just have too many laptops and need to offload them. Run small local LLMs on this if you like or just escape the Windows nightmare and free yourself with Linux.
TUXEDO InfinityBook Pro 15 - Gen10
Omnia Display | 2560 x 1600 | 16:10 | max. 240Hz | 500 cd/m²
32 GB (2x 16GB) DDR5 5600MHz Kingston
Intel Core Ultra 7 Processor 255H | Intel Arc 140T (16 Cores | 16 Threads | max. 5.1 GHz | 24 MB Cache)
1 TB WD_Blue SN5100 (NVMe PCIe 4.0)
without M.2 SSD 2 (upgradable later)
ENGLISH US ANSI (EN-US international) with backlit with TUX super-key | Grey Case
Intel Wi-Fi 7 BE200 (802.11ax | 2.4, 5 & 6 GHz | Bluetooth 5.4)
2 years warranty (Incl. parts, labour & shipping)
US power cord | B C6
TUXEDO Logo
PORTS
Left side (from left to right):- Kensington Lock NanoSaver - USB-A 3.2 Gen1 (5 GBit/s) - USB-C 3.2 Gen2 (10 GBit/s | DisplayPort 1.4a (32.4 GBit/s) | Power Delivery DC-In*) - 2-in-1 audio (headphone + mic)
Right side (from left to right):- Full-size card reader (SD/SDHC/SDXC/SD Express/UHS-II) - 2x USB-A 3.2 Gen1
Back side (from left to right): Linux: HDMI 2.0b (18GBit/s | max. 4K / 60Hz) - USB4 (40 GBit/s | DisplayPort 2.1 (40GBit/s) | Power Delivery DC-In** | DC-Out: max. 15 watts (5 V / 3 A)) - RJ45 Port LAN (1 GBit/s)
KSL Classifieds makes it easy to buy and sell with peace of mind. Check our safety tips and quickly report anything that doesn’t look right to keep your experience smooth and secure.











7 Hours
4
0
$1,250.00
Note: KSL, its service providers, and the seller receive data from this message. See our Privacy Notice and TOU for details.
KSL Classifieds makes it easy to buy and sell with peace of mind. Check our safety tips and quickly report anything that doesn’t look right to keep your experience smooth and secure.





















VenmoI am selling my TuxedoBook with a 15 inch screen that has 240Hz refresh rate and 500 nits of brightness. I ordered it directly from the manufacturer in Germany and can email you the receipt. Comes with the original box and accessories (mousepad - unused and wrapped - and a charger). Full specs below (WiFi 7, Bluetooth 5.4, Intel Core Ultra 7 255H, Intel Arc 140T). I currently installed a clean version of Fedora 44 KDE on it so you can download whatever Linux distro suits your need. Laptop works flawlessly. I just have too many laptops and need to offload them. Run small local LLMs on this if you like or just escape the Windows nightmare and free yourself with Linux.
TUXEDO InfinityBook Pro 15 - Gen10
Omnia Display | 2560 x 1600 | 16:10 | max. 240Hz | 500 cd/m²
32 GB (2x 16GB) DDR5 5600MHz Kingston
Intel Core Ultra 7 Processor 255H | Intel Arc 140T (16 Cores | 16 Threads | max. 5.1 GHz | 24 MB Cache)
1 TB WD_Blue SN5100 (NVMe PCIe 4.0)
without M.2 SSD 2 (upgradable later)
ENGLISH US ANSI (EN-US international) with backlit with TUX super-key | Grey Case
Intel Wi-Fi 7 BE200 (802.11ax | 2.4, 5 & 6 GHz | Bluetooth 5.4)
2 years warranty (Incl. parts, labour & shipping)
US power cord | B C6
TUXEDO Logo
PORTS
Left side (from left to right):- Kensington Lock NanoSaver - USB-A 3.2 Gen1 (5 GBit/s) - USB-C 3.2 Gen2 (10 GBit/s | DisplayPort 1.4a (32.4 GBit/s) | Power Delivery DC-In*) - 2-in-1 audio (headphone + mic)
Right side (from left to right):- Full-size card reader (SD/SDHC/SDXC/SD Express/UHS-II) - 2x USB-A 3.2 Gen1
Back side (from left to right): Linux: HDMI 2.0b (18GBit/s | max. 4K / 60Hz) - USB4 (40 GBit/s | DisplayPort 2.1 (40GBit/s) | Power Delivery DC-In** | DC-Out: max. 15 watts (5 V / 3 A)) - RJ45 Port LAN (1 GBit/s)










