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