Skip to content

Commit

Permalink
doc: remove forgotten old gpl license headers
Browse files Browse the repository at this point in the history
Signed-off-by: Jose Martins <[email protected]>
  • Loading branch information
josecm authored and danielRep committed Oct 14, 2023
1 parent 8757f23 commit 0b90e00
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 30 deletions.
15 changes: 0 additions & 15 deletions src/arch/armv8/armv8-a/inc/arch/iommu.h
Original file line number Diff line number Diff line change
Expand Up @@ -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 <[email protected]>
*
* 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__

Expand Down
15 changes: 0 additions & 15 deletions src/core/inc/io.h
Original file line number Diff line number Diff line change
Expand Up @@ -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 <[email protected]>
*
* 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

Expand Down

0 comments on commit 0b90e00

Please sign in to comment.