/* $Id$ */
/* Copyright (c) 2018 Pierre Pronchery <khorben@defora.org> */
/* This file is part of DeforaOS uKernel */
/* This file is a stub, used to include the auto-generated platform file from
 * tools/arch/$(ARCH)/platform.c. */