| // SPDX-License-Identifier: GPL-2.0 |
| /* |
| * linux/arch/arm/mach-footbridge/personal.c |
| * |
| * Personal server (Skiff) machine fixup |
| */ |
| #include <linux/init.h> |
| #include <linux/spinlock.h> |
| |
| #include <asm/hardware/dec21285.h> |
| #include <asm/mach-types.h> |
| |
| #include <asm/mach/arch.h> |
| |
| #include "common.h" |
| |
| MACHINE_START(PERSONAL_SERVER, "Compaq-PersonalServer") |
| /* Maintainer: Jamey Hicks / George France */ |
| .atag_offset = 0x100, |
| .map_io = footbridge_map_io, |
| .init_irq = footbridge_init_irq, |
| .init_time = footbridge_timer_init, |
| .restart = footbridge_restart, |
| MACHINE_END |
| |