nieuwe stinkpad gekocht, tijd om er arch linux op te zetten