1. b028636 cpu: Rename Makefiles from .inc to .mk by Martin Roth · 7 months ago[Renamed from src/cpu/x86/64bit/Makefile.inc]
  2. 3052e9e cpu/x86/64bit/mode_switch2: The reverse function to mode_switch by Patrick Rudolph · 8 months ago
  3. f6ca89c cpu: Add SPDX license headers to Makefiles by Martin Roth · 1 year ago
  4. 2439b2e cpu/x86/64bit/Makefile: use all_x86 make target by Felix Held · 1 year, 5 months ago
  5. 549528d cpu/x86/64bit/Makefile: use verstage_x86 make target by Felix Held · 1 year, 5 months ago
  6. b18fec5 cpu/x86/64bit: Fix building with -jx by Arthur Heymans · 1 year, 10 months ago
  7. 597b9e9 cpu/x86/64bit: Generate static page tables from an assembly file by Arthur Heymans · 2 years, 4 months ago
  8. 34f5cd9 cpu/x86/64bit: Add a separate Makefile.inc by Arthur Heymans · 2 years, 4 months ago