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 7a05792fac..d4dd8c6b88 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 dc0b5d2ef6..99f968b858 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 b8b02e35e5..0c0b6730bd 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 951ebb458d..8fcf59cfb1 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 24453337dd..d164784351 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 31ee05dfb3..e8335a3bc0 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 a3bc5ebe20..40127d047c 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 b98ad12f91..dd44355043 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 64a30d8d4d..69445aea36 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 321a31fa53..16087e9112 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 9f0b5d0034..e078912818 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 8131310479..9924eb09e1 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 c98ec0f997..ed6095a8d4 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 b202ec02e6..6ef862dab0 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 0931a0acba..76e524d611 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 d2f117e54b..97b3a0699f 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 d8069a967c..2f8426d597 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 a161565476..585302055c 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 946b7ed37d..8072eb795d 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 87d804d05f..e28097244e 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 5ee2c054d9..421a37f85d 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.