[coreboot] From wildcat linking to exploring new languages

ron minnich rminnich at gmail.com
Fri Aug 21 20:47:19 CET 2015


This sounds wonderful. I'm all for it.

ron

On Fri, Aug 21, 2015 at 1:46 PM Nico Huber <nico.huber at secunet.com> wrote:

> Hi coreboot folks!
>
> I dared to link a coreboot ramstage with, well, not only C but also some
> fancy Ada code. Things worked out well enough and I'd like to release
> the code and upstream it.
>
> So, first question: Would it be accepted? being written in a foreign
> language?
>
> This code is essentially another native graphics init for Intel hardware,
> currently supporting eDP on Ivybridge (tested as native graphics init),
> and everything but VGA on Haswell/Broadwell (only tested after VBIOS
> ran). It's actually written in SPARK (Ada subset, with some provability
> extras). Some internal discussion concluded that we may release it if
> there is either real interest in the community to take part in further
> development or at least the will to review it and give feedback. As this
> is one of the areas where I work on nearly the same code in C and Ada, I
> hope for the former :)
>
> Thoughts?
>
> And here comes the disclaimer: Supporting the upstreaming of this code
> may result in further development in Ada (currently I only have simple
> device drivers in mind). I hereby wash my hands of any damage that may
> arise from that :P
>
> Nico
>
> --
> M. Sc. Nico Huber
> Senior Berater SINA-Softwareentwicklung
> Netzwerk- & Client-Sicherheit / Network & Client Security
> Division Öffentliche Auftraggeber / Public Authorities
> secunet Security Networks AG
>
> Tel.: +49-201-5454-3635, Fax: +49-201-5454-1325
> E-Mail: nico.huber at secunet.com
> Mergenthalerallee 77, 65760 Eschborn, Deutschland
> www.secunet.com
> ______________________________________________________________________
>
> Sitz: Kronprinzenstraße 30, 45128 Essen, Deutschland
> Amtsgericht Essen HRB 13615
> Vorstand: Dr. Rainer Baumgart (Vors.), Thomas Pleines
> Aufsichtsratsvorsitzender: Dr. Peter Zattler
> ______________________________________________________________________
>
> --
> coreboot mailing list: coreboot at coreboot.org
> http://www.coreboot.org/mailman/listinfo/coreboot
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.coreboot.org/pipermail/coreboot/attachments/20150821/7f099634/attachment.html>


More information about the coreboot mailing list