Searched refs:DEFAULT_RELOC_amd64 (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4re_kernel/server/src/ | ||
| A D | Makefile | 18 DEFAULT_RELOC_amd64 := 0x70000000 macro |
| /l4re-core-master/sigma0/server/src/ | ||
| A D | Makefile | 10 DEFAULT_RELOC_amd64 := 0x00100000 macro |
Completed in 3 milliseconds