get_bootloader_reserve (reference) in projects: seL4-master

Searched refs:get_bootloader_reserve (Results 1 – 1 of 1) sorted by relevance

/seL4-master/tools/hardware/
A D	config.py	`21 def get_bootloader_reserve(self) -> int: member in Config 76 def get_bootloader_reserve(self) -> int: member in RISCVConfig 89 resv = Region(ret[0].base, self.get_bootloader_reserve()) 91 ret[0].base += self.get_bootloader_reserve() 92 ret[0].size -= self.get_bootloader_reserve()`

Completed in 2 milliseconds