.. | .. |
---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-or-later |
---|
1 | 2 | /* |
---|
2 | 3 | * GE IMP3A Board Setup |
---|
3 | 4 | * |
---|
4 | 5 | * Author Martyn Welch <martyn.welch@ge.com> |
---|
5 | 6 | * |
---|
6 | 7 | * Copyright 2010 GE Intelligent Platforms Embedded Systems, Inc. |
---|
7 | | - * |
---|
8 | | - * This program is free software; you can redistribute it and/or modify it |
---|
9 | | - * under the terms of the GNU General Public License as published by the |
---|
10 | | - * Free Software Foundation; either version 2 of the License, or (at your |
---|
11 | | - * option) any later version. |
---|
12 | 8 | * |
---|
13 | 9 | * Based on: mpc85xx_ds.c (MPC85xx DS Board Setup) |
---|
14 | 10 | * Copyright 2007 Freescale Semiconductor Inc. |
---|
.. | .. |
---|
201 | 197 | } |
---|
202 | 198 | |
---|
203 | 199 | machine_arch_initcall(ge_imp3a, mpc85xx_common_publish_devices); |
---|
204 | | - |
---|
205 | | -machine_arch_initcall(ge_imp3a, swiotlb_setup_bus_notifier); |
---|
206 | 200 | |
---|
207 | 201 | define_machine(ge_imp3a) { |
---|
208 | 202 | .name = "GE_IMP3A", |
---|