HI Jean-marie,
Sorry for the delay in replying.
I can compile the heads source with the default settings just fine, but if I change the boards value in the make file to anything else, it does not compile.
The platform I want to build for is Grantley. It is similar to Winterfell,
I notice in the linuxboot source (not heads), that in the various board directories (for example, boards/winterfell), That there are some very specific things in the Makefile.board files,for example, GUID values. What I need to know is how these make files were made, and where the specifics came from. With this information, I could build a system from scratch, but I can't find any information anywhere about how these specifics were obtained.l
Thanks,
-- Pat