<?php

declare(strict_types=1); // @codeCoverageIgnore

namespace Recoil\Kernel;

use Recoil\Kernel;

/**
 * A low-level kernel interface for use within the kernel.
 */
interface SystemKernel extends Kernel
{
}
