Searched refs:RAMBASE (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/tools/ds5/configdb/
H A DbootDebug.py9 RAMBASE = 0x80000000 variable
16 im.loadSymbols('Barrelfish/armv7/sbin/boot_ve', RAMBASE)
H A DkernelDebug.py9 RAMBASE = 0x80000000 variable
16 im.loadSymbols('Barrelfish/armv7/sbin/boot_ve', RAMBASE)
H A DkernelDebug_A15.py9 RAMBASE = 0x80000000 variable
16 im.loadSymbols('Barrelfish/armv7/sbin/boot_ve', RAMBASE)
H A DbootPanda.py11 RAMBASE = 0x80000000 variable
18 im.loadSymbols('Barrelfish/armv7/sbin/boot_omap44xx', RAMBASE)
H A DkernelPanda.py11 RAMBASE = 0x80000000 variable
18 im.loadSymbols('Barrelfish/armv7/sbin/boot_omap44xx', RAMBASE)

Completed in 31 milliseconds