2 Commits (c73af29fe206dda55a72119b6b29c5628aa09ed1)

Author SHA1 Message Date
  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 2f020a8df3 [legal] Relicense files under GPL2_OR_LATER_OR_UBDL 9 years ago
  Michael Brown e4593909a8 [pcbios] Do not switch to real mode to check for timer interrupt 10 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 15 years ago