diff --git a/src/lib/Config b/src/lib/Config new file mode 100644 index 0000000000..b07f538315 --- /dev/null +++ b/src/lib/Config @@ -0,0 +1,10 @@ +object fill_inbuf.o +object hardwaremain.o +object linuxbiosmain.o +object linuxpci.o +object newpci.o +object params.o +object printk.o +object serial_subr.o +object subr.o +object vsprintf.o