carta

kexec_load(2) on Linux

The text 917244798a5e, as Debian 10 (Buster) shipped it.

load a new kernel for later execution

kexec_load(2) on Linux now