HP 255 G7 vs HP 15-DB1063NT

Arkadaşlar kız arkadaşımın uzaktan eğitimi için bir laptop arıyoruz. Sadece ödev, uzaktan eğitim ve film gibi şeylerde kullanılacak. İki model arasında kaldım. Siz ne düşünüyorsunuz? 5000 TL'yi geçmeyecek bir dizüstü bilgisayar önerebilir misiniz?
1. Seçenek: HP 255 G7
2. Seçenek: HP 15-DB1063NT

Eğer FreeDOS olması sıkıntı değilse 1. seçenek daha iyi, SSD kapasitesi daha fazla. Ama eğer ben işletim sistemi kurmayla falan uğraşamam diyorsanız 2. seçeneği de alabilirsiniz. Zaten ikisi de özellik olarak birbirine yakın cihazlar.