... upon boot. I made some modification, though. Before installing the kernel I looked at src/linux-4.15/cmdline : console=tty0 init=/sbin/init root=PARTUUID=%U/PARTNROFF=1 rootwait rw noinitrd I thought "this cannot work", or where does this root point to? I tried finding an explanation ...