Heinrich Schuchardt d768dd8855 common: return type board_get_usable_ram_top 9 months ago
..
cpu d768dd8855 common: return type board_get_usable_ram_top 9 months ago
dts df1bb2cb0b x86: link: Support Micron memory 10 months ago
include d768dd8855 common: return type board_get_usable_ram_top 9 months ago
lib d768dd8855 common: return type board_get_usable_ram_top 9 months ago
Kconfig edf35a3027 efi: Set RUN_64BIT correctly for the EFI app 1 year ago
Makefile d68574a72d x86: Allow 16-bit init to be in TPL 5 years ago
config.mk d85bc196cb x86: Pass -z execstack for EFI payload flags 1 year ago