[robigalia-dev] Targets moved, update your build environments!

Corey Richardson corey at octayn.net
Mon Jan 4 04:41:28 EST 2016

Hi all,

I split out target files from sel4-sys into a new repo:


They didn't really belong with the code in sel4-sys.

If you're using the Vagrant VM, do `vagrant destroy && vagrant up` after
pulling the latest changes.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: not available
URL: <http://lists.robigalia.org/pipermail/robigalia-dev_lists.robigalia.org/attachments/20160104/06b9303d/attachment.asc>

More information about the robigalia-dev mailing list