diff options
Diffstat (limited to 'src/drivers/gic')
| -rw-r--r-- | src/drivers/gic/gic.c | 4 | ||||
| -rw-r--r-- | src/drivers/gic/gic.h | 4 |
2 files changed, 0 insertions, 8 deletions
diff --git a/src/drivers/gic/gic.c b/src/drivers/gic/gic.c index e8c7018b70..622aaff486 100644 --- a/src/drivers/gic/gic.c +++ b/src/drivers/gic/gic.c @@ -11,10 +11,6 @@ * 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. - * - * You should have received a copy of the GNU General Public License - * along with this program; if not, write to the Free Software - * Foundation, Inc. */ #include <arch/cpu.h> diff --git a/src/drivers/gic/gic.h b/src/drivers/gic/gic.h index 22d973b597..1f27f19c67 100644 --- a/src/drivers/gic/gic.h +++ b/src/drivers/gic/gic.h @@ -11,10 +11,6 @@ * 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. - * - * You should have received a copy of the GNU General Public License - * along with this program; if not, write to the Free Software - * Foundation, Inc. */ #ifndef DRIVERS_GIC_H |