23 Jan
2019
23 Jan
'19
4:03 p.m.
Patrick Georgi has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/30583 )
Change subject: util/kconfig: Implement Ada spec generation ......................................................................
Patch Set 2:
It's rather unlikely that this will ever land in upstream kconfig. Maybe a separate tool that converts kconfig output into ada is more reliable?
--
To view, visit https://review.coreboot.org/c/coreboot/+/30583
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: Ic58e4e81179214ef66c26a8a8614fbb5794c6a9c
Gerrit-Change-Number: 30583
Gerrit-PatchSet: 2
Gerrit-Owner: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Arthur Heymans arthur@aheymans.xyz
Gerrit-Reviewer: Martin Roth martinroth@google.com
Gerrit-Reviewer: Matt DeVillier matt.devillier@gmail.com
Gerrit-Reviewer: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Patrick Georgi pgeorgi@google.com
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-CC: Paul Menzel paulepanter@users.sourceforge.net
Gerrit-Comment-Date: Wed, 23 Jan 2019 15:03:59 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment