1. ca374d4 rename linuxbios_* files, too. by Stefan Reinauer · 17 years ago
  2. f8a2ddd - To reduce confuse rename the parts of linuxbios bios that run from by Eric Biederman · 20 years ago