+++ /dev/null
-/*
- * Copyright (c) 2007, ETH Zurich.
- * All rights reserved.
- *
- * This file is distributed under the terms in the attached LICENSE file.
- * If you do not find this file, copies can be found by writing to:
- * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
- */
-
-#ifndef __ARM_H
-#define __ARM_H
-
-#include <barrelfish_kpi/types.h>
-#include <barrelfish_kpi/cpu.h>
-
-#endif //__ARM_H
+++ /dev/null
-/*
- * Copyright (c) 2007, ETH Zurich.
- * All rights reserved.
- *
- * This file is distributed under the terms in the attached LICENSE file.
- * If you do not find this file, copies can be found by writing to:
- * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
- */
-
-#ifndef __ARM_H
-#define __ARM_H
-
-#include <barrelfish_kpi/types.h>
-#include <barrelfish_kpi/cpu.h>
-
-#endif //__ARM_H
+++ /dev/null
-/*
- * Copyright (c) 2007, ETH Zurich.
- * All rights reserved.
- *
- * This file is distributed under the terms in the attached LICENSE file.
- * If you do not find this file, copies can be found by writing to:
- * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
- */
-
-#ifndef __ARM_H
-#define __ARM_H
-
-#include <barrelfish_kpi/types.h>
-#include <barrelfish_kpi/cpu.h>
-
-#endif //__ARM_H