terminal.rst kernel.rst