Over on the xda developers forum, [exception13] shows us the work he’s put into geting Debian running on his Samsung Galaxy Note 10.1, allowing him to dual boot Android and Linux on a single device.
The Galaxy Book Pro was Samsung's first big push into the PC market ... Lattice Semiconductor, Lenovo, Linux Foundation, Lightbits Labs, LogicMonitor, Luminar, MapBox, Marvell Technology, Mavenir ...