From 0b90e005dbaea2d9524a43d4d56aade47d35e8db Mon Sep 17 00:00:00 2001 From: Jose Martins Date: Thu, 12 Oct 2023 17:46:18 +0100 Subject: [PATCH] doc: remove forgotten old gpl license headers Signed-off-by: Jose Martins --- src/arch/armv8/armv8-a/inc/arch/iommu.h | 15 --------------- src/core/inc/io.h | 15 --------------- 2 files changed, 30 deletions(-) diff --git a/src/arch/armv8/armv8-a/inc/arch/iommu.h b/src/arch/armv8/armv8-a/inc/arch/iommu.h index 7509697c9..66de86fc6 100644 --- a/src/arch/armv8/armv8-a/inc/arch/iommu.h +++ b/src/arch/armv8/armv8-a/inc/arch/iommu.h @@ -3,21 +3,6 @@ * Copyright (c) Bao Project and Contributors. All rights reserved */ -/** - * baohu separation kernel - * - * Copyright (c) Jose Martins, Sandro Pinto, David Cerdeira - * - * Authors: - * David Cerdeira - * - * baohu is free software; you can redistribute it and/or modify it under the - * terms of the GNU General Public License version 2 as published by the Free - * Software Foundation, with a special exception exempting guest code from such - * license. See the COPYING file in the top-level directory for details. - * - */ - #ifndef __IOMMU_ARCH_H__ #define __IOMMU_ARCH_H__ diff --git a/src/core/inc/io.h b/src/core/inc/io.h index 003a5172f..9f95af5a6 100644 --- a/src/core/inc/io.h +++ b/src/core/inc/io.h @@ -3,21 +3,6 @@ * Copyright (c) Bao Project and Contributors. All rights reserved */ -/** - * baohu separation kernel - * - * Copyright (c) Jose Martins, Sandro Pinto, David Cerdeira - * - * Authors: - * David Cerdeira - * - * baohu is free software; you can redistribute it and/or modify it under the - * terms of the GNU General Public License version 2 as published by the Free - * Software Foundation, with a special exception exempting guest code from such - * license. See the COPYING file in the top-level directory for details. - * - */ - #ifndef IO_H #define IO_H