Thank-you, Joe. /boot is in partition /dev/sda3: --------------- -bash.6[boot]: df -h Filesystem Size Used Avail Use% Mounted on devtmpfs 7.8G 0 7.8G 0% /dev tmpfs 7.9G 59M 7.8G 1% /dev/shm tmpfs 7.9G 1.7M 7.9G 1% /run tmpfs 7.9G 0 7.9G 0% /sys/fs/cgroup /dev/sda6 50G 36G 12G 77% / tmpfs 7.9G 32K 7.9G 1% /tmp /dev/sda3 477M 228M 220M 51% /boot /dev/sda7 904G 5.6G 853G 1% /home tmpfs 1.6G 40K 1.6G 1% /run/user/1001 -bash.7[boot]: --------------- Samuel, if I understand this correctly, the answer to your question is yes, /boot is on a separate partition.