No ambiente Linux, o comando que permite a alteração de parâmetros do kernel dinamicamente é: