1 /* 2 * Copyright 2021 The Hafnium Authors. 3 * 4 * Use of this source code is governed by a BSD-style 5 * license that can be found in the LICENSE file or at 6 * https://opensource.org/licenses/BSD-3-Clause. 7 */ 8 9 #include <stdalign.h> 10 #include <stdint.h> 11 12 #include "test/hftest.h" 13 14 alignas(4096) uint8_t kstack[4096]; 15 kmain(const void * fdt_ptr)16noreturn void kmain(const void *fdt_ptr) 17 { 18 hftest_service_main(fdt_ptr); 19 } 20