#ifndef ARCH_PLATFORM_H
#define ARCH_PLATFORM_H

#include "kernel/boot_info.h"

int arch_platform_setup(const struct boot_info* bi);
int arch_platform_start_userspace(const struct boot_info* bi);
void arch_platform_usermode_test_start(void);

#endif