diff --git a/ports/src/vancouver/boot_module_provider.h b/ports/src/vancouver/boot_module_provider.h index adea39d529..d503bff33c 100644 --- a/ports/src/vancouver/boot_module_provider.h +++ b/ports/src/vancouver/boot_module_provider.h @@ -9,8 +9,8 @@ * Copyright (C) 2011-2013 Genode Labs GmbH * Copyright (C) 2012 Intel Corporation * - * This file is part of the Genode OS framework, which is distributed - * under the terms of the GNU General Public License version 2. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/ports/src/vancouver/console.cc b/ports/src/vancouver/console.cc index 0df9a0590a..6361cd67ce 100644 --- a/ports/src/vancouver/console.cc +++ b/ports/src/vancouver/console.cc @@ -9,8 +9,8 @@ * Copyright (C) 2011-2013 Genode Labs GmbH * Copyright (C) 2012 Intel Corporation * - * This file is part of the Genode OS framework, which is distributed - * under the terms of the GNU General Public License version 2. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/ports/src/vancouver/console.h b/ports/src/vancouver/console.h index 1e55eaf199..206f3b2906 100644 --- a/ports/src/vancouver/console.h +++ b/ports/src/vancouver/console.h @@ -8,8 +8,8 @@ * Copyright (C) 2012 Intel Corporation * Copyright (C) 2013 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. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/ports/src/vancouver/device_model_registry.cc b/ports/src/vancouver/device_model_registry.cc index 1de2622464..4c0f7d90c3 100644 --- a/ports/src/vancouver/device_model_registry.cc +++ b/ports/src/vancouver/device_model_registry.cc @@ -9,8 +9,8 @@ * Copyright (C) 2011-2013 Genode Labs GmbH * Copyright (C) 2012 Intel Corporation * - * This file is part of the Genode OS framework, which is distributed - * under the terms of the GNU General Public License version 2. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/ports/src/vancouver/disk.cc b/ports/src/vancouver/disk.cc index 020adcbf77..a6e397e1eb 100644 --- a/ports/src/vancouver/disk.cc +++ b/ports/src/vancouver/disk.cc @@ -9,8 +9,8 @@ * Copyright (C) 2012 Intel Corporation * Copyright (C) 2013 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. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/ports/src/vancouver/disk.h b/ports/src/vancouver/disk.h index 2cea71274f..8879223f46 100644 --- a/ports/src/vancouver/disk.h +++ b/ports/src/vancouver/disk.h @@ -9,8 +9,8 @@ * Copyright (C) 2012 Intel Corporation * Copyright (C) 2013 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. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/ports/src/vancouver/keyboard.cc b/ports/src/vancouver/keyboard.cc index 1db19120f4..065c83e986 100644 --- a/ports/src/vancouver/keyboard.cc +++ b/ports/src/vancouver/keyboard.cc @@ -8,8 +8,8 @@ * Copyright (C) 2012 Intel Corporation * Copyright (C) 2013 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. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/ports/src/vancouver/keyboard.h b/ports/src/vancouver/keyboard.h index 313f791054..7569a7d9f8 100644 --- a/ports/src/vancouver/keyboard.h +++ b/ports/src/vancouver/keyboard.h @@ -8,8 +8,8 @@ * Copyright (C) 2012 Intel Corporation * Copyright (C) 2013 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. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/ports/src/vancouver/main.cc b/ports/src/vancouver/main.cc index df76771ca5..b23254ca60 100644 --- a/ports/src/vancouver/main.cc +++ b/ports/src/vancouver/main.cc @@ -21,8 +21,8 @@ * Copyright (C) 2011-2013 Genode Labs GmbH * Copyright (C) 2012 Intel Corporation * - * This file is part of the Genode OS framework, which is distributed - * under the terms of the GNU General Public License version 2. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/ports/src/vancouver/network.cc b/ports/src/vancouver/network.cc index 7a98fba303..9685efad2c 100644 --- a/ports/src/vancouver/network.cc +++ b/ports/src/vancouver/network.cc @@ -8,8 +8,8 @@ * Copyright (C) 2012 Intel Corporation * Copyright (C) 2013 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. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2. diff --git a/ports/src/vancouver/network.h b/ports/src/vancouver/network.h index d1a79d5327..197ecc9d86 100644 --- a/ports/src/vancouver/network.h +++ b/ports/src/vancouver/network.h @@ -8,8 +8,8 @@ * Copyright (C) 2012 Intel Corporation * Copyright (C) 2013 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. + * This file is distributed under the terms of the GNU General Public License + * version 2. * * The code is partially based on the Vancouver VMM, which is distributed * under the terms of the GNU General Public License version 2.