using "platforms/cpus/tegra3.repl"
using "./tegra_externals.repl"