1Legacy classifier identifies GPL-3.0 2EXPECTED:Copyright,GPL-2.0 3/* 4 * ARM mach-virt emulation 5 * 6 * Copyright (c) 2013 Linaro Limited 7 * 8 * This program is free software; you can redistribute it and/or modify it 9 * under the terms and conditions of the GNU General Public License, 10 * version 2 or later, as published by the Free Software Foundation. 11 * 12 * This program is distributed in the hope it will be useful, but WITHOUT 13 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 14 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 15 * more details. 16 * 17 * You should have received a copy of the GNU General Public License along with 18 * this program. If not, see <http://www.gnu.org/licenses/>. 19 * 20 * Emulate a virtual board which works by passing Linux all the information 21 * it needs about what devices are present via the device tree. 22 * There are some restrictions about what we can do here: 23 * + we can only present devices whose Linux drivers will work based 24 * purely on the device tree with no platform data at all 25 * + we want to present a very stripped-down minimalist platform, 26 * both because this reduces the security attack surface from the guest 27 * and also because it reduces our exposure to being broken when 28 * the kernel updates its device tree bindings and requires further 29 * information in a device binding that we aren't providing. 30 * This is essentially the same approach kvmtool uses. 31 */ 32