From 28b5e67a8c5c9f733394708bc802caab8d44df32 Mon Sep 17 00:00:00 2001 From: Reto Buerki Date: Fri, 13 Mar 2015 09:20:28 +0100 Subject: [PATCH] Update or add hw_x86_64 copyright headers --- .../include/x86_64/kernel/interface_support.h | 6 +++--- repos/base-hw/src/base/x86_64/kernel/interface.cc | 6 +++--- repos/base-hw/src/core/include/spec/x86/cpu.h | 8 +++++--- repos/base-hw/src/core/include/spec/x86/pic.h | 6 +++--- repos/base-hw/src/core/include/spec/x86/port_io.h | 13 +++++++++++++ repos/base-hw/src/core/include/spec/x86/timer.h | 7 ++++--- repos/base-hw/src/core/include/spec/x86_64/gdt.h | 13 +++++++++++++ repos/base-hw/src/core/include/spec/x86_64/idt.h | 14 ++++++++++++++ .../src/core/include/spec/x86_64/mtc_util.h | 13 +++++++++++++ .../core/include/spec/x86_64/pseudo_descriptor.h | 13 +++++++++++++ .../core/include/spec/x86_64/translation_table.h | 9 ++++----- repos/base-hw/src/core/include/spec/x86_64/tss.h | 14 ++++++++++++++ repos/base-hw/src/core/spec/x86/kernel/cpu.cc | 9 ++++----- repos/base-hw/src/core/spec/x86/kernel/thread.cc | 10 +++++----- repos/base-hw/src/core/spec/x86/pic.cc | 14 ++++++++++++++ repos/base-hw/src/core/spec/x86_64/idt.cc | 14 ++++++++++++++ repos/base-hw/src/core/spec/x86_64/kernel/crt0.s | 8 +++++--- .../src/core/spec/x86_64/kernel/thread_base.cc | 3 ++- .../base-hw/src/core/spec/x86_64/mode_transition.s | 6 ++++-- repos/base-hw/src/core/spec/x86_64/tss.cc | 14 ++++++++++++++ repos/base/include/x86_64/cpu/cpu_state.h | 4 +++- 21 files changed, 167 insertions(+), 37 deletions(-) diff --git a/repos/base-hw/include/x86_64/kernel/interface_support.h b/repos/base-hw/include/x86_64/kernel/interface_support.h index 7a05792fa..d4dd8c6b8 100644 --- a/repos/base-hw/include/x86_64/kernel/interface_support.h +++ b/repos/base-hw/include/x86_64/kernel/interface_support.h @@ -1,11 +1,11 @@ /* * \brief Interface between kernel and userland - * \author Martin Stein - * \date 2011-11-30 + * \author Reto Buerki + * \date 2015-02-06 */ /* - * Copyright (C) 2011-2013 Genode Labs GmbH + * Copyright (C) 2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/base/x86_64/kernel/interface.cc b/repos/base-hw/src/base/x86_64/kernel/interface.cc index dc0b5d2ef..99f968b85 100644 --- a/repos/base-hw/src/base/x86_64/kernel/interface.cc +++ b/repos/base-hw/src/base/x86_64/kernel/interface.cc @@ -1,11 +1,11 @@ /* * \brief Interface between kernel and userland - * \author Martin Stein - * \date 2011-11-30 + * \author Adrian-Ken Rueegsegger + * \date 2015-02-06 */ /* - * Copyright (C) 2011-2013 Genode Labs GmbH + * Copyright (C) 2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/core/include/spec/x86/cpu.h b/repos/base-hw/src/core/include/spec/x86/cpu.h index b8b02e35e..0c0b6730b 100644 --- a/repos/base-hw/src/core/include/spec/x86/cpu.h +++ b/repos/base-hw/src/core/include/spec/x86/cpu.h @@ -1,11 +1,13 @@ /* - * \brief CPU driver for core + * \brief x86 CPU driver for core + * \author Adrian-Ken Rueegsegger * \author Martin stein - * \date 2011-11-03 + * \author Reto Buerki + * \date 2015-02-06 */ /* - * Copyright (C) 2011-2012 Genode Labs GmbH + * Copyright (C) 2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/core/include/spec/x86/pic.h b/repos/base-hw/src/core/include/spec/x86/pic.h index 951ebb458..8fcf59cfb 100644 --- a/repos/base-hw/src/core/include/spec/x86/pic.h +++ b/repos/base-hw/src/core/include/spec/x86/pic.h @@ -1,11 +1,11 @@ /* * \brief Programmable interrupt controller for core - * \author Norman Feske - * \date 2013-04-05 + * \author Reto Buerki + * \date 2015-02-17 */ /* - * Copyright (C) 2013 Genode Labs GmbH + * Copyright (C) 2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/core/include/spec/x86/port_io.h b/repos/base-hw/src/core/include/spec/x86/port_io.h index 24453337d..d16478435 100644 --- a/repos/base-hw/src/core/include/spec/x86/port_io.h +++ b/repos/base-hw/src/core/include/spec/x86/port_io.h @@ -1,3 +1,16 @@ +/* + * \brief Functions to perform port I/O + * \author Reto Buerki + * \date 2015-03-06 + */ + +/* + * Copyright (C) 2015 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + #ifndef _PORT_IO_H_ #define _PORT_IO_H_ diff --git a/repos/base-hw/src/core/include/spec/x86/timer.h b/repos/base-hw/src/core/include/spec/x86/timer.h index 31ee05dfb..e8335a3bc 100644 --- a/repos/base-hw/src/core/include/spec/x86/timer.h +++ b/repos/base-hw/src/core/include/spec/x86/timer.h @@ -1,11 +1,12 @@ /* * \brief Timer driver for core - * \author Norman Feske - * \date 2013-04-05 + * \author Adrian-Ken Rueegsegger + * \author Reto Buerki + * \date 2015-02-06 */ /* - * Copyright (C) 2013 Genode Labs GmbH + * Copyright (C) 2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/core/include/spec/x86_64/gdt.h b/repos/base-hw/src/core/include/spec/x86_64/gdt.h index a3bc5ebe2..40127d047 100644 --- a/repos/base-hw/src/core/include/spec/x86_64/gdt.h +++ b/repos/base-hw/src/core/include/spec/x86_64/gdt.h @@ -1,3 +1,16 @@ +/* + * \brief Global Descriptor Table (GDT) + * \author Reto Buerki + * \date 2015-02-27 + */ + +/* + * Copyright (C) 2015 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + #ifndef _GDT_H_ #define _GDT_H_ diff --git a/repos/base-hw/src/core/include/spec/x86_64/idt.h b/repos/base-hw/src/core/include/spec/x86_64/idt.h index b98ad12f9..dd4435504 100644 --- a/repos/base-hw/src/core/include/spec/x86_64/idt.h +++ b/repos/base-hw/src/core/include/spec/x86_64/idt.h @@ -1,3 +1,17 @@ +/* + * \brief Interrupt Descriptor Table (IDT) + * \author Adrian-Ken Rueegsegger + * \author Reto Buerki + * \date 2015-02-13 + */ + +/* + * Copyright (C) 2015 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + #ifndef _IDT_H_ #define _IDT_H_ diff --git a/repos/base-hw/src/core/include/spec/x86_64/mtc_util.h b/repos/base-hw/src/core/include/spec/x86_64/mtc_util.h index 64a30d8d4..69445aea3 100644 --- a/repos/base-hw/src/core/include/spec/x86_64/mtc_util.h +++ b/repos/base-hw/src/core/include/spec/x86_64/mtc_util.h @@ -1,3 +1,16 @@ +/* + * \brief x86 utility functions + * \author Reto Buerki + * \date 2015-02-27 + */ + +/* + * Copyright (C) 2015 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + #ifndef _MTC_UTIL_H_ #define _MTC_UTIL_H_ diff --git a/repos/base-hw/src/core/include/spec/x86_64/pseudo_descriptor.h b/repos/base-hw/src/core/include/spec/x86_64/pseudo_descriptor.h index 321a31fa5..16087e911 100644 --- a/repos/base-hw/src/core/include/spec/x86_64/pseudo_descriptor.h +++ b/repos/base-hw/src/core/include/spec/x86_64/pseudo_descriptor.h @@ -1,3 +1,16 @@ +/* + * \brief Pseudo Descriptor class + * \author Reto Buerki + * \date 2015-02-27 + */ + +/* + * Copyright (C) 2015 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + #ifndef _PSEUDO_DESCRIPTOR_H_ #define _PSEUDO_DESCRIPTOR_H_ diff --git a/repos/base-hw/src/core/include/spec/x86_64/translation_table.h b/repos/base-hw/src/core/include/spec/x86_64/translation_table.h index 9f0b5d003..e07891281 100644 --- a/repos/base-hw/src/core/include/spec/x86_64/translation_table.h +++ b/repos/base-hw/src/core/include/spec/x86_64/translation_table.h @@ -1,12 +1,11 @@ /* - * \brief x86_64 translation table definitions for core - * \author Martin Stein - * \author Stefan Kalkowski - * \date 2012-02-22 + * \brief x86_64 translation table definitions for core + * \author Adrian-Ken Rueegsegger + * \date 2015-02-06 */ /* - * Copyright (C) 2012-2013 Genode Labs GmbH + * Copyright (C) 2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/core/include/spec/x86_64/tss.h b/repos/base-hw/src/core/include/spec/x86_64/tss.h index 813131047..9924eb09e 100644 --- a/repos/base-hw/src/core/include/spec/x86_64/tss.h +++ b/repos/base-hw/src/core/include/spec/x86_64/tss.h @@ -1,3 +1,17 @@ +/* + * \brief 64-bit Task State Segment (TSS) + * \author Adrian-Ken Rueegsegger + * \author Reto Buerki + * \date 2015-02-21 + */ + +/* + * Copyright (C) 2015 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + #ifndef _TSS_H_ #define _TSS_H_ diff --git a/repos/base-hw/src/core/spec/x86/kernel/cpu.cc b/repos/base-hw/src/core/spec/x86/kernel/cpu.cc index c98ec0f99..ed6095a8d 100644 --- a/repos/base-hw/src/core/spec/x86/kernel/cpu.cc +++ b/repos/base-hw/src/core/spec/x86/kernel/cpu.cc @@ -1,12 +1,11 @@ /* - * \brief Class for kernel data that is needed to manage a specific CPU - * \author Martin Stein - * \author Stefan Kalkowski - * \date 2014-01-14 + * \brief Class for kernel data that is needed to manage a specific CPU + * \author Reto Buerki + * \date 2015-02-09 */ /* - * Copyright (C) 2014 Genode Labs GmbH + * Copyright (C) 2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/core/spec/x86/kernel/thread.cc b/repos/base-hw/src/core/spec/x86/kernel/thread.cc index b202ec02e..6ef862dab 100644 --- a/repos/base-hw/src/core/spec/x86/kernel/thread.cc +++ b/repos/base-hw/src/core/spec/x86/kernel/thread.cc @@ -1,12 +1,12 @@ /* - * \brief Kernel backend for execution contexts in userland - * \author Martin Stein - * \author Stefan Kalkowski - * \date 2014-01-14 + * \brief Kernel backend for execution contexts in userland + * \author Adrian-Ken Rueegsegger + * \author Reto Buerki + * \date 2015-02-09 */ /* - * Copyright (C) 2014 Genode Labs GmbH + * Copyright (C) 2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/core/spec/x86/pic.cc b/repos/base-hw/src/core/spec/x86/pic.cc index 0931a0acb..76e524d61 100644 --- a/repos/base-hw/src/core/spec/x86/pic.cc +++ b/repos/base-hw/src/core/spec/x86/pic.cc @@ -1,3 +1,17 @@ +/* + * \brief Programmable interrupt controller for core + * \author Adrian-Ken Rueegsegger + * \author Reto Buerki + * \date 2015-02-17 + */ + +/* + * Copyright (C) 2015 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + #include #include "pic.h" diff --git a/repos/base-hw/src/core/spec/x86_64/idt.cc b/repos/base-hw/src/core/spec/x86_64/idt.cc index d2f117e54..97b3a0699 100644 --- a/repos/base-hw/src/core/spec/x86_64/idt.cc +++ b/repos/base-hw/src/core/spec/x86_64/idt.cc @@ -1,3 +1,17 @@ +/* + * \brief Interrupt Descriptor Table (IDT) + * \author Adrian-Ken Rueegsegger + * \author Reto Buerki + * \date 2015-02-13 + */ + +/* + * Copyright (C) 2015 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + #include #include diff --git a/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s b/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s index d8069a967..2f8426d59 100644 --- a/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s +++ b/repos/base-hw/src/core/spec/x86_64/kernel/crt0.s @@ -1,12 +1,14 @@ /* - * \brief Startup code for core + * \brief Startup code for kernel + * \author Adrian-Ken Rueegsegger * \author Martin Stein + * \author Reto Buerki * \author Stefan Kalkowski - * \date 2011-10-01 + * \date 2015-02-06 */ /* - * Copyright (C) 2011-2013 Genode Labs GmbH + * Copyright (C) 2011-2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/core/spec/x86_64/kernel/thread_base.cc b/repos/base-hw/src/core/spec/x86_64/kernel/thread_base.cc index a16156547..585302055 100644 --- a/repos/base-hw/src/core/spec/x86_64/kernel/thread_base.cc +++ b/repos/base-hw/src/core/spec/x86_64/kernel/thread_base.cc @@ -1,12 +1,13 @@ /* * \brief CPU specific implementations of core * \author Martin Stein + * \author Reto Buerki * \author Stefan Kalkowski * \date 2013-11-11 */ /* - * Copyright (C) 2013 Genode Labs GmbH + * Copyright (C) 2013, 2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/core/spec/x86_64/mode_transition.s b/repos/base-hw/src/core/spec/x86_64/mode_transition.s index 946b7ed37..8072eb795 100644 --- a/repos/base-hw/src/core/spec/x86_64/mode_transition.s +++ b/repos/base-hw/src/core/spec/x86_64/mode_transition.s @@ -1,12 +1,14 @@ /* - * \brief Transition between kernel/userland, and secure/non-secure world + * \brief Transition between kernel/userland + * \author Adrian-Ken Rueegsegger * \author Martin Stein + * \author Reto Buerki * \author Stefan Kalkowski * \date 2011-11-15 */ /* - * Copyright (C) 2011-2013 Genode Labs GmbH + * Copyright (C) 2011-2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/repos/base-hw/src/core/spec/x86_64/tss.cc b/repos/base-hw/src/core/spec/x86_64/tss.cc index 87d804d05..e28097244 100644 --- a/repos/base-hw/src/core/spec/x86_64/tss.cc +++ b/repos/base-hw/src/core/spec/x86_64/tss.cc @@ -1,3 +1,17 @@ +/* + * \brief 64-bit Task State Segment (TSS) + * \author Adrian-Ken Rueegsegger + * \author Reto Buerki + * \date 2015-02-21 + */ + +/* + * Copyright (C) 2015 Genode Labs GmbH + * + * This file is part of the Genode OS framework, which is distributed + * under the terms of the GNU General Public License version 2. + */ + #include #include "tss.h" diff --git a/repos/base/include/x86_64/cpu/cpu_state.h b/repos/base/include/x86_64/cpu/cpu_state.h index 5ee2c054d..421a37f85 100644 --- a/repos/base/include/x86_64/cpu/cpu_state.h +++ b/repos/base/include/x86_64/cpu/cpu_state.h @@ -1,6 +1,8 @@ /* * \brief CPU state + * \author Adrian-Ken Rueegsegger * \author Christian Prochaska + * \author Reto Buerki * \author Stefan Kalkowski * \date 2011-04-15 * @@ -8,7 +10,7 @@ */ /* - * Copyright (C) 2011-2013 Genode Labs GmbH + * Copyright (C) 2011-2015 Genode Labs GmbH * * This file is part of the Genode OS framework, which is distributed * under the terms of the GNU General Public License version 2.