2020-01-09 15:01:35 +11:00
|
|
|
{
|
|
|
|
{type="managed", path="bios/managed.bios"},
|
2020-05-17 14:23:43 +10:00
|
|
|
{type="initramfs", path="bios/initramfs.bios"},
|
2020-01-09 15:01:35 +11:00
|
|
|
--{type="osdi", path="bios/osdi.bios"},
|
|
|
|
--{type="romfs", path="bios/romfs.bios"},
|
|
|
|
--{type="proxfs", path="bios/proxfs.bios"}
|
|
|
|
}
|