1. d293b20 cpu/x86/Kconfig: Mark 64bit support as stable by Arthur Heymans · 5 months ago
  2. 3ac1f21 configs: Explicitly specify vendor and mainboard by Angel Pons · 3 years ago
  3. 16fe5e1 src: Consolidate x86_64 support Kconfig by Angel Pons · 3 years, 1 month ago
  4. 60752e7 configs: Build test experimental x86_64 code by Patrick Rudolph · 5 years ago