/* Copyright 2019, Adrien Destugues, pulkomandy@pulkomandy.tk.* Distributed under the terms of the MIT License.*/#include <arch/platform.h>status_tarch_platform_init(struct kernel_args *kernelArgs){return B_OK;}status_tarch_platform_init_post_vm(struct kernel_args *kernelArgs){return B_OK;}status_tarch_platform_init_post_thread(struct kernel_args *kernelArgs){return B_OK;}