Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Commits
3df08854
Commit
3df08854
authored
May 18, 2014
by
yoogx
Browse files
* Correct copyright headers, minor reformatting
parent
8b1a9bdb
Changes
5
Hide whitespace changes
Inline
Side-by-side
src/backends/ocarina-backends-pok_c-deployment.adb
View file @
3df08854
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
2
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
4
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
...
...
@@ -1224,8 +1224,8 @@ package body Ocarina.Backends.POK_C.Deployment is
Set_Deployment_Header
;
end
if
;
if
Get_Name_String
if
Get_Name_String
(
ATN
.
Name
(
ATN
.
Identifier
(
S
)))
=
"x86_vmm"
then
...
...
src/backends/ocarina-backends-pok_c-makefile.adb
View file @
3df08854
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
2
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
4
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
...
...
src/backends/ocarina-backends-pok_c-runtime.ads
View file @
3df08854
...
...
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
2
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
4
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
...
...
@@ -204,7 +204,7 @@ package Ocarina.Backends.POK_C.Runtime is
RE_Pok_Needs_Ports_Virtual
,
-- POK_NEEDS_PORTS_VIRTUAL
RE_Pok_Needs_Gettick
,
-- POK_NEEDS_GETTICK
RE_Pok_Needs_Ports_Queueing
,
-- POK_NEEDS_PORTS_QUEUEING
RE_Pok_Needs_X86_Vmm
,
-- POK_NEEDS_X86_VMM
RE_Pok_Needs_X86_Vmm
,
-- POK_NEEDS_X86_VMM
RE_Pok_Errno_Empty
,
-- POK_ERRNO_EMPTY
RE_Pok_Errno_Ok
,
-- POK_ERRNO_OK
RE_Pok_Hw_Addr
,
-- POK_HW_ADDR
...
...
@@ -713,7 +713,7 @@ package Ocarina.Backends.POK_C.Runtime is
RE_Pok_Needs_Ports_Virtual
=>
RH_Deployment
,
RE_Pok_Needs_Gettick
=>
RH_Null
,
RE_Pok_Needs_Ports_Queueing
=>
RH_Deployment
,
RE_Pok_Needs_X86_Vmm
=>
RH_Deployment
,
RE_Pok_Needs_X86_Vmm
=>
RH_Deployment
,
RE_Pok_Errno_Empty
=>
RH_Errno
,
RE_Pok_Errno_Ok
=>
RH_Errno
,
RE_Pok_Hw_Addr
=>
RH_Deployment
,
...
...
src/backends/ocarina-backends-properties.adb
View file @
3df08854
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
3
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
4
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
...
...
src/backends/ocarina-backends-properties.ads
View file @
3df08854
...
...
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
3
ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-201
4
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment