#ifndef APOS_RISCV_PROC_H
#define APOS_RISCV_PROC_H

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

#endif /* APOS_RISCV_PROC_H */