/* SPDX-License-Identifier: (BSD-2-Clause AND MIT) */
#include "../kernel/kern.ld.S"