Searched refs:externals (Results 1 – 12 of 12) sorted by relevance
12 ... ${platforms_path}${/}boards${/}mars_zx3-externals.repl13 ... ${platforms_path}${/}boards${/}leon3-externals.repl16 ... ${platforms_path}${/}boards${/}zedboard-externals.repl17 ... ${platforms_path}${/}boards${/}vexpress-externals.repl
2 using "./vexpress-externals.repl"
2 using "./zedboard-externals.repl"
2 using "./leon3-externals.repl"
2 using "./mars_zx3-externals.repl"
16 ### create externals ###
18 ### create externals ###
20 ### create externals ###
25 ### create externals ###
88 externals = type('ExternalsManagerAccessor', (object,), dict( variable
349 * easier access to externals in Python scripts via externals variable1095 * serialization of externals and GDB stub
