when I build sel4 with sel4test, error occors that "UnicodeDecodeError: 'ascii' codec can't decode byte"

[oska874]

I build sel4 with the guide from https://docs.sel4.systems/GettingStarted.html. but failed, error occors that:

[1/24] Generating from generated/plat_mode/machine/hardware.bf.pbf
FAILED: kernel/generated/plat_mode/machine/hardware_gen.h /workspace/s42/build-x86/kernel/generated/plat_mode/machine/hardware_gen.h
cd /workspace/s42/build-x86/kernel && python3 /workspace/s42/kernel/tools/bitfield_gen.py --prune /workspace/s42/build-x86/kernel/kernel_all_pp_prune.c /workspace/s42/build-x86/kernel/generated/plat_mode/machine/hardware.bf.pbf /workspace/s42/build-x86/kernel/generated/plat_mode/machine/hardware_gen.h
Traceback (most recent call last):
  File "/workspace/s42/kernel/tools/bitfield_gen.py", line 2772, in <module>
    string = f.read()
  File "/usr/lib/python3.6/encodings/ascii.py", line 26, in decode
    return codecs.ascii_decode(input, self.errors)[0]
UnicodeDecodeError: 'ascii' codec can't decode byte 0xc2 in position 593714: ordinal not in range(128)
ninja: build stopped: subcommand failed.

My environment is ubuntu 18.04.

[axel-h]

Seems another 18.04 issue. Did you try the docker containers?
Is there any reason you have to use 18.04 or did you just pick this because the docs say so?

[GooTal]

I tried ubuntu18.04, but I need to install many packs and still got many errors. My friend used ubuntu 20.04 and he didn`t worry much about environment settings, pack dependencies. Now I am using 20.04 too, just found some small errors running sel4test like this.

[lsf37]

UnicodeDecodeError: 'ascii' codec can't decode byte 0xc2 in position 593714: ordinal not in range(128)
ninja: build stopped: subcommand failed.

This bit could actually be related to the native platform encoding, i.e. the thing fixed in PR #778. @oska874 would you be able to try again with the current seL4 version on the master branch? (I.e. using the master.xml manifest of sel4test)

[lsf37]

I tried ubuntu18.04, but I need to install many packs and still got many errors. My friend used ubuntu 20.04 and he didn`t worry much about environment settings, pack dependencies. Now I am using 20.04 too, just found some small errors running sel4test like this.

The image you are showing is expected sel4test output before the test starts, i.e. it seems to be working correctly. How does the output continue?

[GooTal]

I tried ubuntu18.04, but I need to install many packs and still got many errors. My friend used ubuntu 20.04 and he didn`t worry much about environment settings, pack dependencies. Now I am using 20.04 too, just found some small errors running sel4test like this.

The image you are showing is expected sel4test output before the test starts, i.e. it seems to be working correctly. How does the output continue?

Thank you for answering on seL4/sel4test-manifest#18.

[axel-h]

I'm closing this, as all questions seem to be answered and seL4/seL4#778 is merged.