This was resolved off-list, but for posterity: the issue was that the
docker images were out of date.
--
Cheers,
Luke
--
Luke Mondy, Systems Administrator,
Trustworthy Systems | DATA61 | CSIRO
P +61 2 9490 5773 | https://ts.data61.csiro.au
On Sun, 2019-11-03 at 23:26 +, Mondy, Luke
> abdi@abdi-HP-P-PC:~/sel4-tutorials-manifest$ ./init --tut hello-world
> loading initial cache file ../settings.cmake
> CMake Error: Error: generator : Ninja
> Does not match the generator used previously: Unix Makefiles
> Either remove the CMakeCache.txt file and CMakeFiles directory or choose a
Hello,
On 04.11.19 11:12, guo minskey wrote:
> I am trying to build genode/sel4 on x86_64 platform and expect to get a
> GUI working. And so I enable this option in my build.conf : REPOSITORIES +=
> $(GENODE_DIR)/repos/libports.
> Seems that rust support is broken (because rustc version
Hi, guys,
I am trying to build genode/sel4 on x86_64 platform and expect to get a
GUI working. And so I enable this option in my build.conf : REPOSITORIES +=
$(GENODE_DIR)/repos/libports.
Seems that rust support is broken (because rustc version ??).
Which version of rustc should I
