[coreboot] From wildcat linking to exploring new languages
Nico Huber
nico.h at gmx.de
Sun Aug 30 12:48:00 CET 2015
On 29.08.2015 21:58, ron minnich wrote:
> If people feel strongly enough about this then we can do an external repo
> for now.
Either way around, we would have to learn how to best integrate SPARK
code in coreboot. There would still be some steps to go from linking
with an adalib, to SPARK beeing a first class citizen of our build
system.
> Nico, do you want to set up a github repo and we can work out procedures
> people use to try this out? As you know I'm more interested in Muen as a
> replacement for the ramstage but this is a good first step.
I guess, I'll just push things to gerrit, when the code is ready.
Nico
More information about the coreboot
mailing list