<div dir="ltr">I would say bring it in to the repo. We have assembly, we have our own C compiler even, so a higher level language hardly seems a bad idea. If this can make our code base better in some way, why not use it?<div><br></div><div>ron</div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, Aug 28, 2015 at 4:55 AM Nico Huber <<a href="mailto:nico.huber@secunet.com">nico.huber@secunet.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Am 21.08.2015 22:47, schrieb ron minnich:<br>
> This sounds wonderful. I'm all for it.<br>
Did you just kill any discussion with that line? :)<br>
<br>
Things live currently in a small library that I called `libsparkhw`<br>
(came spontaneously, I don't care much about the name). It contains<br>
some framework (Timer, I/O, Debugging) to do hardware stuff in SPARK,<br>
plus the mentioned graphics initialization. I falter to push it directly<br>
for inclusion into the coreboot repo. Maybe we want a separate reposi-<br>
tory for it (like libpayload has)? It would also make it easier to use<br>
it in other components (e.g. bootloaders and such, and of course our own<br>
products where the code stems from).<br>
<br>
We have discussed the licensing and will push this under GPLv2 + later<br>
if there are no reasonable concerns.<br>
<br>
Nico<br>
<br>
--<br>
M. Sc. Nico Huber<br>
Senior Berater SINA-Softwareentwicklung<br>
Netzwerk- & Client-Sicherheit / Network & Client Security<br>
Division Öffentliche Auftraggeber / Public Authorities<br>
secunet Security Networks AG<br>
<br>
Tel.: +49-201-5454-3635, Fax: +49-201-5454-1325<br>
E-Mail: <a href="mailto:nico.huber@secunet.com" target="_blank">nico.huber@secunet.com</a><br>
Mergenthalerallee 77, 65760 Eschborn, Deutschland<br>
<a href="http://www.secunet.com" rel="noreferrer" target="_blank">www.secunet.com</a><br>
______________________________________________________________________<br>
<br>
Sitz: Kronprinzenstraße 30, 45128 Essen, Deutschland<br>
Amtsgericht Essen HRB 13615<br>
Vorstand: Dr. Rainer Baumgart (Vors.), Thomas Pleines<br>
Aufsichtsratsvorsitzender: Dr. Peter Zattler<br>
______________________________________________________________________<br>
</blockquote></div>