kern/arch/riscv/init.h

/* See COPYRIGHT for copyright information. */

#ifndef ROS_ARCH_INIT_H
#define ROS_ARCH_INIT_H

extern size_t argc;
extern char** argv;

void arch_init();

#endif // !ROS_ARCH_INIT_H