Hi

As you are the only one who has this board you will have to do a bit of the work your self. But I would be glad to help you, I recently ported coreboot to a 440bx board, Ubuntu boots on it so Debians should work fine.
There is still a few limitations in the support for this chip. No L2 cache no ecc memory, only sdram and no ACPI.

Also it looks like you won't have support for any legacy I/O (ps2 keyboard pc speaker)

You could of ofcourse fix all this by reading the docs an coding a bit of C :)

-Anders

----- Reply message -----
Fra: "Cooper Harrison" <coop.rocks.123e@gmail.com>
Dato: tor., maj 6, 2010 14:04
Emne: [coreboot] Dell Optiplex GX1 support
Til: <coreboot@coreboot.org>

By looking at all the supported hardware, it looks like it should work at a minimum amount. It has an Intel 440BX, an Intel PIIX4e and a NSC (formerly National) PC87309. Will I be able to boot Debian and if not, how soon until whoever is working on it estimates they will have it at a working status? I am just wondering as I think it would be cool to have it on my computer. 
--
Cooper