Hi Austin, The problem lies in this line: > CAmkES uses UTF-8 encoding, but your locale's preferred encoding is > ansi_x3.4-1968. You can override your locale with the LANG > environment variable.
So if you override your locale to UTF-8, the problem should go away. A possible solution would be: `LANG=en_US.UTF-8 ./init --tut hello-camkes-0` You may need to substitute 'LANG' with 'LANGUAGE' if the above does not work. Sincerely, Damon _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
