Where to start with a hobby OS

I filed an issue the carlosedp repo asking him to specify a meta-sifive branch or commitid to avoid the problem. I expect that he will update his instructions for current u-boot and meta-sifive when he has time.

Fixed, now the guide has been updated to latest versions and specify them to avoid mismatches!

Thanks for pointing it out @jimw and the fix to u-boot as reported here: Latest firmware images freeze on load · Issue #25 · sifive/meta-sifive · GitHub