From 931986b67c85902a7a441e7f205c54a09579e220 Mon Sep 17 00:00:00 2001 From: telleriam Date: Fri, 28 Sep 2007 11:43:43 +0000 Subject: [PATCH] Global update of license text in FOSA for src_marte and include directories git-svn-id: http://www.frescor.org/private/svn/frescor/fosa/trunk@732 35b4ef3e-fd22-0410-ab77-dab3279adceb --- doc/license_fosa.txt | 51 ++++++++++++++++++++++++ include/fosa.h | 53 ++++++++++++++----------- include/fosa_app_def_sched.h | 53 ++++++++++++++----------- include/fosa_clocks_and_timers.h | 51 +++++++++++++----------- include/fosa_configuration_parameters.h | 51 +++++++++++++----------- include/fosa_mutexes_and_condvars.h | 53 ++++++++++++++----------- include/fosa_opaque_types.h | 51 +++++++++++++----------- include/fosa_threads_and_signals.h | 53 ++++++++++++++----------- include/fosa_types.h | 53 ++++++++++++++----------- src_marte/fosa_app_def_sched.c | 45 +++++++++++++-------- src_marte/fosa_clocks_and_timers.c | 45 +++++++++++++-------- src_marte/fosa_mutexes_and_condvars.c | 47 +++++++++++++--------- src_marte/fosa_threads_and_signals.c | 47 +++++++++++++--------- src_marte/frsh_fosa.c | 49 ++++++++++++++--------- src_marte/test_fosa.c | 52 ++++++++++++++++++++++++ src_marte/test_fosa_ads.c | 52 ++++++++++++++++++++++++ 16 files changed, 528 insertions(+), 278 deletions(-) create mode 100644 doc/license_fosa.txt diff --git a/doc/license_fosa.txt b/doc/license_fosa.txt new file mode 100644 index 0000000..01ee9a7 --- /dev/null +++ b/doc/license_fosa.txt @@ -0,0 +1,51 @@ +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: +// +// Universidad de Cantabria, SPAIN +// University of York, UK +// Scuola Superiore Sant'Anna, ITALY +// Kaiserslautern University, GERMANY +// Univ. Politecnica Valencia, SPAIN +// Czech Technical University in Prague, CZECH REPUBLIC +// ENEA SWEDEN +// Thales Communication S.A. FRANCE +// Visual Tools S.A. SPAIN +// Rapita Systems Ltd UK +// Evidence ITALY +// +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded +// in part by the European Union Sixth Framework Programme +// The European Union is not liable of any use that may be +// made of this code. +// +// +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK +// +// This file is part of FOSA (Frsh Operating System Abstraction) +// +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. +// +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. +// ----------------------------------------------------------------------- diff --git a/include/fosa.h b/include/fosa.h index bd573fe..f49cf2e 100644 --- a/include/fosa.h +++ b/include/fosa.h @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -12,37 +12,42 @@ // Visual Tools S.A. SPAIN // Rapita Systems Ltd UK // Evidence ITALY -// -// See http://www.frescor.org for a link to partners' websites // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // -// As a special exception, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable to be covered by the GNU General Public -// License. This exception does not however invalidate any other -// reasons why the executable file might be covered by the GNU General -// Public License. +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa.h //============================================== diff --git a/include/fosa_app_def_sched.h b/include/fosa_app_def_sched.h index 80f0c5b..738a875 100644 --- a/include/fosa_app_def_sched.h +++ b/include/fosa_app_def_sched.h @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -12,37 +12,42 @@ // Visual Tools S.A. SPAIN // Rapita Systems Ltd UK // Evidence ITALY -// -// See http://www.frescor.org for a link to partners' websites // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // -// As a special exception, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable to be covered by the GNU General Public -// License. This exception does not however invalidate any other -// reasons why the executable file might be covered by the GNU General -// Public License. +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_app_def_sched.h //============================================== diff --git a/include/fosa_clocks_and_timers.h b/include/fosa_clocks_and_timers.h index b7b7bc5..2b50dc5 100644 --- a/include/fosa_clocks_and_timers.h +++ b/include/fosa_clocks_and_timers.h @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -13,36 +13,41 @@ // Rapita Systems Ltd UK // Evidence ITALY // -// See http://www.frescor.org for a link to partners' websites +// See http://www.frescor.org // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // -// As a special exception, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable to be covered by the GNU General Public -// License. This exception does not however invalidate any other -// reasons why the executable file might be covered by the GNU General -// Public License. +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_clocks_and_timers.h //============================================== diff --git a/include/fosa_configuration_parameters.h b/include/fosa_configuration_parameters.h index 5898f03..ebad99d 100644 --- a/include/fosa_configuration_parameters.h +++ b/include/fosa_configuration_parameters.h @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -13,36 +13,41 @@ // Rapita Systems Ltd UK // Evidence ITALY // -// See http://www.frescor.org for a link to partners' websites +// See http://www.frescor.org // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // -// As a special exception, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable to be covered by the GNU General Public -// License. This exception does not however invalidate any other -// reasons why the executable file might be covered by the GNU General -// Public License. +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_configuration_parameters.h //============================================== diff --git a/include/fosa_mutexes_and_condvars.h b/include/fosa_mutexes_and_condvars.h index 2797ac6..deb87f2 100644 --- a/include/fosa_mutexes_and_condvars.h +++ b/include/fosa_mutexes_and_condvars.h @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -12,37 +12,42 @@ // Visual Tools S.A. SPAIN // Rapita Systems Ltd UK // Evidence ITALY -// -// See http://www.frescor.org for a link to partners' websites // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // -// As a special exception, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable to be covered by the GNU General Public -// License. This exception does not however invalidate any other -// reasons why the executable file might be covered by the GNU General -// Public License. +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_mutexes_and_condvars.h //============================================== diff --git a/include/fosa_opaque_types.h b/include/fosa_opaque_types.h index e44b8ce..b8d3998 100644 --- a/include/fosa_opaque_types.h +++ b/include/fosa_opaque_types.h @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -13,36 +13,41 @@ // Rapita Systems Ltd UK // Evidence ITALY // -// See http://www.frescor.org for a link to partners' websites +// See http://www.frescor.org // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // -// As a special exception, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable to be covered by the GNU General Public -// License. This exception does not however invalidate any other -// reasons why the executable file might be covered by the GNU General -// Public License. +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_opaque_types.h //============================================== diff --git a/include/fosa_threads_and_signals.h b/include/fosa_threads_and_signals.h index bc56e03..8c37a90 100644 --- a/include/fosa_threads_and_signals.h +++ b/include/fosa_threads_and_signals.h @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -12,37 +12,42 @@ // Visual Tools S.A. SPAIN // Rapita Systems Ltd UK // Evidence ITALY -// -// See http://www.frescor.org for a link to partners' websites // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // -// As a special exception, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable to be covered by the GNU General Public -// License. This exception does not however invalidate any other -// reasons why the executable file might be covered by the GNU General -// Public License. +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_thread_and_signals.h //============================================== diff --git a/include/fosa_types.h b/include/fosa_types.h index 8d018a8..0b86a56 100644 --- a/include/fosa_types.h +++ b/include/fosa_types.h @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -12,37 +12,42 @@ // Visual Tools S.A. SPAIN // Rapita Systems Ltd UK // Evidence ITALY -// -// See http://www.frescor.org for a link to partners' websites // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // -// As a special exception, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable to be covered by the GNU General Public -// License. This exception does not however invalidate any other -// reasons why the executable file might be covered by the GNU General -// Public License. +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_types.h //============================================== diff --git a/src_marte/fosa_app_def_sched.c b/src_marte/fosa_app_def_sched.c index 9f2b761..b63cd07 100644 --- a/src_marte/fosa_app_def_sched.c +++ b/src_marte/fosa_app_def_sched.c @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -13,30 +13,41 @@ // Rapita Systems Ltd UK // Evidence ITALY // -// See http://www.frescor.org for a link to partners' websites +// See http://www.frescor.org // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_app_def_sched.h //============================================== diff --git a/src_marte/fosa_clocks_and_timers.c b/src_marte/fosa_clocks_and_timers.c index 39befe1..4878f94 100644 --- a/src_marte/fosa_clocks_and_timers.c +++ b/src_marte/fosa_clocks_and_timers.c @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -13,30 +13,41 @@ // Rapita Systems Ltd UK // Evidence ITALY // -// See http://www.frescor.org for a link to partners' websites +// See http://www.frescor.org // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_clocks_and_timers.c //============================================== diff --git a/src_marte/fosa_mutexes_and_condvars.c b/src_marte/fosa_mutexes_and_condvars.c index 9c72c56..58f8a4b 100644 --- a/src_marte/fosa_mutexes_and_condvars.c +++ b/src_marte/fosa_mutexes_and_condvars.c @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -12,31 +12,42 @@ // Visual Tools S.A. SPAIN // Rapita Systems Ltd UK // Evidence ITALY -// -// See http://www.frescor.org for a link to partners' websites // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_mutexes_and_condvars.c //============================================== diff --git a/src_marte/fosa_threads_and_signals.c b/src_marte/fosa_threads_and_signals.c index 5a7bd97..46784c1 100644 --- a/src_marte/fosa_threads_and_signals.c +++ b/src_marte/fosa_threads_and_signals.c @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -12,31 +12,42 @@ // Visual Tools S.A. SPAIN // Rapita Systems Ltd UK // Evidence ITALY -// -// See http://www.frescor.org for a link to partners' websites // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// This file is part of FOSA (Frsh Operating System Abstraction) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. // +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //fosa_threads_and_signals.c //============================================== diff --git a/src_marte/frsh_fosa.c b/src_marte/frsh_fosa.c index 03ceddf..094f26c 100644 --- a/src_marte/frsh_fosa.c +++ b/src_marte/frsh_fosa.c @@ -1,5 +1,5 @@ -// ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: // // Universidad de Cantabria, SPAIN // University of York, UK @@ -12,31 +12,42 @@ // Visual Tools S.A. SPAIN // Rapita Systems Ltd UK // Evidence ITALY -// -// See http://www.frescor.org for a link to partners' websites // -// FRESCOR project (FP6/2005/IST/5-034026) is funded +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded // in part by the European Union Sixth Framework Programme // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project // -// FRSH is distributed in the hope that it will be useful, but -// WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -// General Public License for more details. +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// This file is part of FOSA (Frsh Operating System Abstraction) // +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. +// +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. // ----------------------------------------------------------------------- //frsh_fosa.c //============================================== @@ -87,7 +98,7 @@ int frsh_thread_attr_init(frsh_thread_attr_t *attr) // inheritsched = explicit, so that we can explicitly set the attributes CHK(pthread_attr_setinheritsched(attr,PTHREAD_EXPLICIT_SCHED)); - + // schedpolicy = fixed priorities CHK(pthread_attr_setschedpolicy(attr,SCHED_FIFO)); diff --git a/src_marte/test_fosa.c b/src_marte/test_fosa.c index d348994..8ee17ee 100644 --- a/src_marte/test_fosa.c +++ b/src_marte/test_fosa.c @@ -1,3 +1,55 @@ +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: +// +// Universidad de Cantabria, SPAIN +// University of York, UK +// Scuola Superiore Sant'Anna, ITALY +// Kaiserslautern University, GERMANY +// Univ. Politecnica Valencia, SPAIN +// Czech Technical University in Prague, CZECH REPUBLIC +// ENEA SWEDEN +// Thales Communication S.A. FRANCE +// Visual Tools S.A. SPAIN +// Rapita Systems Ltd UK +// Evidence ITALY +// +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded +// in part by the European Union Sixth Framework Programme +// The European Union is not liable of any use that may be +// made of this code. +// +// +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK +// +// This file is part of FOSA (Frsh Operating System Abstraction) +// +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. +// +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. +// ----------------------------------------------------------------------- + #include "fosa_threads_and_signals.h" #include "fosa_clocks_and_timers.h" #include "fosa_mutexes_and_condvars.h" diff --git a/src_marte/test_fosa_ads.c b/src_marte/test_fosa_ads.c index 5fd299a..3e32461 100644 --- a/src_marte/test_fosa_ads.c +++ b/src_marte/test_fosa_ads.c @@ -1,3 +1,55 @@ +//---------------------------------------------------------------------- +// Copyright (C) 2006 - 2007 by the FRESCOR consortium: +// +// Universidad de Cantabria, SPAIN +// University of York, UK +// Scuola Superiore Sant'Anna, ITALY +// Kaiserslautern University, GERMANY +// Univ. Politecnica Valencia, SPAIN +// Czech Technical University in Prague, CZECH REPUBLIC +// ENEA SWEDEN +// Thales Communication S.A. FRANCE +// Visual Tools S.A. SPAIN +// Rapita Systems Ltd UK +// Evidence ITALY +// +// See http://www.frescor.org +// +// The FRESCOR project (FP6/2005/IST/5-034026) is funded +// in part by the European Union Sixth Framework Programme +// The European Union is not liable of any use that may be +// made of this code. +// +// +// based on previous work (FSF) done in the FIRST project +// +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK +// +// This file is part of FOSA (Frsh Operating System Abstraction) +// +// FOSA is free software; you can redistribute it and/or modify it +// under terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) any +// later version. FOSA is distributed in the hope that it will be +// useful, but WITHOUT ANY WARRANTY; without even the implied warranty +// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// General Public License for more details. You should have received a +// copy of the GNU General Public License along with FOSA; see file +// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, +// Cambridge, MA 02139, USA. +// +// As a special exception, including FOSA header files in a file, +// instantiating FOSA generics or templates, or linking other files +// with FOSA objects to produce an executable application, does not +// by itself cause the resulting executable application to be covered +// by the GNU General Public License. This exception does not +// however invalidate any other reasons why the executable file might be +// covered by the GNU Public License. +// ----------------------------------------------------------------------- + #include "fosa_app_def_sched.h" #include "fosa_threads_and_signals.h" #include "fosa_mutexes_and_condvars.h" -- 2.39.2