1 // SPDX-License-Identifier: GPL-2.0
3 * linux/arch/arm/mach-footbridge/personal.c
5 * Personal server (Skiff) machine fixup
7 #include <linux/init.h>
8 #include <linux/spinlock.h>
10 #include <asm/hardware/dec21285.h>
11 #include <asm/mach-types.h>
13 #include <asm/mach/arch.h>
17 MACHINE_START(PERSONAL_SERVER
, "Compaq-PersonalServer")
18 /* Maintainer: Jamey Hicks / George France */
20 .map_io
= footbridge_map_io
,
21 .init_irq
= footbridge_init_irq
,
22 .init_time
= footbridge_timer_init
,
23 .restart
= footbridge_restart
,