|
boot.h
|
Split coreboot and multiboot ports.
|
2010-05-01 14:06:53 +02:00 |
|
console.h
|
Split coreboot and multiboot ports.
|
2010-05-01 14:06:53 +02:00 |
|
init.h
|
Split coreboot and multiboot ports.
|
2010-05-01 14:06:53 +02:00 |
|
kernel.h
|
Split coreboot and multiboot ports.
|
2010-05-01 14:06:53 +02:00 |
|
memory.h
|
Split coreboot and multiboot ports.
|
2010-05-01 14:06:53 +02:00 |
|
serial.h
|
Split coreboot and multiboot ports.
|
2010-05-01 14:06:53 +02:00 |
|
time.h
|
Split coreboot and multiboot ports.
|
2010-05-01 14:06:53 +02:00 |
