Michael,

Thank you very much for the helpful description of settings tags.

I was able to convert settings_ui into a decent settings browser.  I 
should be able to submit a patch set in the next few days, after I clean 
up some loose ends and measure incremental code size.

--Glenn
_______________________________________________
gPXE-devel mailing list
[email protected]
http://etherboot.org/mailman/listinfo/gpxe-devel

Reply via email to