ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 11:55:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update or add hw_x86_64 copyright headers

Browse Source
This commit is contained in:
Reto Buerki 2015-03-13 09:20:28 +01:00 committed by Christian Helmuth
parent ace61c54d6
commit 28b5e67a8c
21 changed files with 167 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
repos/base-hw/include/x86_64/kernel/interface_support.h
View File

@ -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.

6
repos/base-hw/src/base/x86_64/kernel/interface.cc
View File

@ -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.

8
repos/base-hw/src/core/include/spec/x86/cpu.h
View File

@ -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.

6
repos/base-hw/src/core/include/spec/x86/pic.h
View File

@ -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.

13
repos/base-hw/src/core/include/spec/x86/port_io.h
View File

@ -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_

7
repos/base-hw/src/core/include/spec/x86/timer.h
View File

@ -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.

13
repos/base-hw/src/core/include/spec/x86_64/gdt.h
View File

@ -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_

14
repos/base-hw/src/core/include/spec/x86_64/idt.h
View File

@ -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_

13
repos/base-hw/src/core/include/spec/x86_64/mtc_util.h
View File

@ -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_

13
repos/base-hw/src/core/include/spec/x86_64/pseudo_descriptor.h
View File

@ -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_

9
repos/base-hw/src/core/include/spec/x86_64/translation_table.h
View File

@ -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.

14
repos/base-hw/src/core/include/spec/x86_64/tss.h
View File

@ -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_

9
repos/base-hw/src/core/spec/x86/kernel/cpu.cc
View File

@ -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.

10
repos/base-hw/src/core/spec/x86/kernel/thread.cc
View File

@ -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.

14
repos/base-hw/src/core/spec/x86/pic.cc
View File

@ -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 <port_io.h>
#include "pic.h"

14
repos/base-hw/src/core/spec/x86_64/idt.cc
View File

@ -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 <pseudo_descriptor.h>
#include <mtc_util.h>

8
repos/base-hw/src/core/spec/x86_64/kernel/crt0.s
View File

@ -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.

3
repos/base-hw/src/core/spec/x86_64/kernel/thread_base.cc
View File

@ -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.

6
repos/base-hw/src/core/spec/x86_64/mode_transition.s
View File

@ -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.

14
repos/base-hw/src/core/spec/x86_64/tss.cc
View File

@ -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 <mtc_util.h>
#include "tss.h"

4
repos/base/include/x86_64/cpu/cpu_state.h
View File

@ -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.