// 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 | |