1 /* 2 * Copright (C) 2014 Linaro Ltd. 3 * Author: Ard Biesheuvel <ard.biesheuvel@linaro.org> 4 * 5 * Redistribution and use in source and binary forms, with or without 6 * modification, are permitted provided that the following conditions 7 * are met: 8 * 1. Redistributions of source code must retain the above copyright 9 * notice and this list of conditions, without modification. 10 * 2. The name of the author may not be used to endorse or promote products 11 * derived from this software without specific prior written permission. 12 * 13 * Alternatively, this software may be distributed under the terms of the 14 * GNU General Public License as published by the Free Software Foundation; 15 * either version 2 of the License, or (at your option) any later version. 16 */ 17 18 #include "lib.h" 19 20 VOID 21 InitializeLibPlatform ( 22 IN EFI_HANDLE ImageHandle EFI_UNUSED, 23 IN EFI_SYSTEM_TABLE *SystemTable EFI_UNUSED 24 ) 25 { 26 } 27 28 #ifdef __GNUC__ 29 void __div0(void) 30 { 31 // TODO handle divide by zero fault 32 while (1); 33 } 34 #endif 35