diff options
Diffstat (limited to 'src/drivers/ipmi')
-rw-r--r-- | src/drivers/ipmi/chip.h | 2 | ||||
-rw-r--r-- | src/drivers/ipmi/ipmi_kcs.c | 2 | ||||
-rw-r--r-- | src/drivers/ipmi/ipmi_kcs.h | 7 | ||||
-rw-r--r-- | src/drivers/ipmi/ipmi_kcs_ops.c | 6 |
4 files changed, 6 insertions, 11 deletions
diff --git a/src/drivers/ipmi/chip.h b/src/drivers/ipmi/chip.h index 1c5afe7b59..b3bb5a5d8a 100644 --- a/src/drivers/ipmi/chip.h +++ b/src/drivers/ipmi/chip.h @@ -1,8 +1,6 @@ /* * This file is part of the coreboot project. * - * Copyright (C) 2017 Patrick Rudolph <siro@das-labor.org> - * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; version 2 of the License. diff --git a/src/drivers/ipmi/ipmi_kcs.c b/src/drivers/ipmi/ipmi_kcs.c index 4d1e3e105b..d3916198a6 100644 --- a/src/drivers/ipmi/ipmi_kcs.c +++ b/src/drivers/ipmi/ipmi_kcs.c @@ -1,8 +1,6 @@ /* * This file is part of the coreboot project. * - * Copyright (C) 2012 Sven Schnelle <svens@stackframe.org> - * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License as * published by the Free Software Foundation; version 2 of diff --git a/src/drivers/ipmi/ipmi_kcs.h b/src/drivers/ipmi/ipmi_kcs.h index a194dd22e9..f35802e27b 100644 --- a/src/drivers/ipmi/ipmi_kcs.h +++ b/src/drivers/ipmi/ipmi_kcs.h @@ -1,10 +1,6 @@ -#ifndef __IPMI_KCS_H -#define __IPMI_KCS_H /* * This file is part of the coreboot project. * - * Copyright (C) 2012 Sven Schnelle <svens@stackframe.org> - * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License as * published by the Free Software Foundation; version 2 of @@ -16,6 +12,9 @@ * GNU General Public License for more details. */ +#ifndef __IPMI_KCS_H +#define __IPMI_KCS_H + #define IPMI_NETFN_CHASSIS 0x00 #define IPMI_NETFN_BRIDGE 0x02 #define IPMI_NETFN_SENSOREVENT 0x04 diff --git a/src/drivers/ipmi/ipmi_kcs_ops.c b/src/drivers/ipmi/ipmi_kcs_ops.c index baa72a82c5..90f19dddb8 100644 --- a/src/drivers/ipmi/ipmi_kcs_ops.c +++ b/src/drivers/ipmi/ipmi_kcs_ops.c @@ -1,8 +1,6 @@ /* * This file is part of the coreboot project. * - * Copyright (C) 2019 9elements Agency GmbH - * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License as * published by the Free Software Foundation; version 2 of @@ -12,7 +10,9 @@ * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. - * + */ + +/* * Place in devicetree.cb: * * chip drivers/ipmi |