Focnados 1608 rpi - Githubissues

argos-research / genode

Genode OS Framework

http://genode.org/

GNU General Public License v2.0

0 stars 9 forks source link

Closed irgendwie closed 7 years ago

irgendwie commented 7 years ago

Needs https://github.com/argos-research/foc/pull/2 to be merged and the focnados.port & focnados.hash to be adapted

ghost commented 7 years ago

merged the pull request - great work

irgendwie commented 7 years ago

@dk87 we still need argos-research/foc#2 to be merged and adapt the focnados hash afterwards! Otherwise the RPi won't boot.

ghost commented 7 years ago

You're right, I did a successful compilation test with focnados_rpi as target. So, the code compiles without errors that's why I merged this part.