/* SPDX-License-Identifier: GPL-3.0-or-later */
/* Copyright 2021 - 2022, Kim Kuparinen < kimi.h.kuparinen@gmail.com > */

#ifndef KMI_RISCV_PROC_H
#define KMI_RISCV_PROC_H

/**
 * @file proc.h
 * riscv64-specific process-related stuff. Currently empty.
 */

#endif /* KMI_RISCV_PROC_H */