Re: [coreboot] From wildcat linking to exploring new languages

[Nico Huber]

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