I think there is a mistake in your release notes:
http://genode.org/documentation/release-notes/13.05
root /tftpboot/nova
config config-00-00-00-00-00-00
Should be...
root /nova
config config-00-00-00-00-00-00
Unless you have a weird setup with the tftpboot dir as root.
Daniel
------------------------------------------------------------------------------
This SF.net email is sponsored by Windows:
Build for Windows Store.
http://p.sf.net/sfu/windows-dev2dev
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
