3 Commits (36a4c85f911c85f5ab183331ff74d125f9a9ed32)

Author SHA1 Message Date
  Michael Brown a6a5825f8d [cpuid] Allow input %ecx value to be specified 7 years ago
  Michael Brown 302f1eeb80 [time] Allow timer to be selected at runtime 7 years ago
  Michael Brown f468f12b1e [bios] Add bin-x86_64-pcbios build platform 8 years ago
  Michael Brown b6ee89ffb5 [legal] Relicense files under GPL2_OR_LATER_OR_UBDL 9 years ago
  Michael Brown 08189df4e0 [timer] Rewrite the 8254 Programmable Interval Timer support 9 years ago
  Michael Brown c3b4860ce3 [legal] Update FSF mailing address in GPL licence texts 12 years ago
  Michael Brown 8406115834 [build] Rename gPXE to iPXE 14 years ago
  Michael Brown c44a193d0d [legal] Add a selection of FILE_LICENCE declarations 15 years ago
  Michael Brown 16f1e35775 [timer] Formalise the timer API 16 years ago