GDB (xrefs)
Loading...
Searching...
No Matches
gdb
system-gdbinit
elinos.py
Go to the documentation of this file.
1
# Copyright (C) 2011-2023 Free Software Foundation, Inc.
2
3
# This program is free software; you can redistribute it and/or modify
4
# it under the terms of the GNU General Public License as published by
5
# the Free Software Foundation; either version 3 of the License, or
6
# (at your option) any later version.
7
#
8
# This program is distributed in the hope that it will be useful,
9
# but WITHOUT ANY WARRANTY; without even the implied warranty of
10
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11
# GNU General Public License for more details.
12
#
13
# You should have received a copy of the GNU General Public License
14
# along with this program. If not, see <http://www.gnu.org/licenses/>.
15
16
"""Configure GDB using the ELinOS environment."""
17
18
import
os
19
import
glob
20
import
gdb
21
22
23
def
warn
(msg):
24
print(
"warning: %s"
% msg)
25
26
27
def
get_elinos_environment
():
28
"""Return the ELinOS environment.
29
30
If the ELinOS environment is properly set up, return a dictionary
31
which contains:
32
* The path to the ELinOS project at key 'project';
33
* The path to the ELinOS CDK at key 'cdk';
34
* The ELinOS target name at key 'target' (Eg. 'i486-linux');
35
* A list of Xenomai install prefixes (which could be empty, if
36
the ELinOS project does not include Xenomai) at key 'xenomai'.
37
38
If one of these cannot be found, print a warning; the corresponding
39
value in the returned dictionary will be None.
40
"""
41
result = {}
42
for
key
in
(
"project"
,
"cdk"
,
"target"
):
43
var =
"ELINOS_"
+ key.upper()
44
if
var
in
os.environ:
45
result[key] = os.environ[var]
46
else
:
47
warn
(
"%s not set"
% var)
48
result[key] =
None
49
50
if
result[
"project"
]
is
not
None
:
51
result[
"xenomai"
] = glob.glob(result[
"project"
] +
"/xenomai-[0-9.]*"
)
52
else
:
53
result[
"xenomai"
] = []
54
55
return
result
56
57
58
def
elinos_init
():
59
"""Initialize debugger environment for ELinOS.
60
61
Let the debugger know where to find the ELinOS libraries on host. This
62
assumes that an ELinOS environment is properly set up. If some environment
63
variables are missing, warn about which library may be missing.
64
"""
65
elinos_env =
get_elinos_environment
()
66
67
solib_dirs = []
68
69
# System libraries
70
if
None
in
(elinos_env[key]
for
key
in
(
"cdk"
,
"target"
)):
71
warn
(
"ELinOS system libraries will not be loaded"
)
72
else
:
73
solib_prefix =
"%s/%s"
% (elinos_env[
"cdk"
], elinos_env[
"target"
])
74
solib_dirs += [
"%s/%s"
% (solib_prefix,
"lib"
)]
75
gdb.execute(
"set solib-absolute-prefix %s"
% solib_prefix)
76
77
# Xenomai libraries. Those are optional, so have a lighter warning
78
# if they cannot be located.
79
if
elinos_env[
"project"
]
is
None
:
80
warn
(
"Xenomai libraries may not be loaded"
)
81
else
:
82
for
dir
in
elinos_env[
"xenomai"
]:
83
solib_dirs += [
"%s/%s"
% (dir,
"xenomai-build/usr/realtime/lib"
)]
84
85
if
len(solib_dirs) != 0:
86
gdb.execute(
"set solib-search-path %s"
%
":"
.join(solib_dirs))
87
88
89
if
__name__ ==
"__main__"
:
90
elinos_init
()
elinos.elinos_init
elinos_init()
Definition
elinos.py:58
elinos.get_elinos_environment
get_elinos_environment()
Definition
elinos.py:27
elinos.warn
warn(msg)
Definition
elinos.py:23
Generated by
1.10.0