Software-defined Linux