Une liste de fabricants d'ordinateurs qui vendent des machines avec Linux pré-installé. J'en note une copie ici :

Lenovo https://www.lenovo.com/us/en/d/linux-laptops-desktops/
Dell https://www.dell.com/en-us/lp/linux-systems
Purism https://puri.sm
Kubuntu Focus https://kfocus.org
System76 https://system76.com
Slimbook https://slimbook.es/en/store
ThinkPenguin https://www.thinkpenguin.com
Star Labs https://starlabs.systems
Tuxedo https://www.tuxedocomputers.com
Nitrokey https://shop.nitrokey.com
LWL https://laptopwithlinux.com/
MintBox https://linuxmint.com/store.php

MiniOS est une distribution Linux légère et rapide conçue pour être installée sur une clé USB.
MiniOS n'occupe que 350 à 1660 Mo d'espace disque (selon la version) et peut être exécuté à partir d'une clé USB sans qu'il soit nécessaire de l'installer sur le disque dur de l'ordinateur.
Elle prend en charge le démarrage à partir d'EFI et de Legacy-BIOS et utilise le même gestionnaire de paquets que Debian.