Christoph M. Wintersteiger

Got it. Open Enclave applies those options only for the `openenclave::oecore` target, but not for `openenclave::oecore-lvi-cfg`. I'm not sure whether this is intended or not, maybe the LVI mitigations also...

https://github.com/openenclave/openenclave/issues/4641

Loading files with `parseSMTLIB2File` (and similar in the other APIs) is not the same as running the solver on the command-line. IIRC, for example, `set-option` in the input file is...

Try setting `LD_DEBUG=all` before running you program to get more information. `strace` can be helpful too. `liblibz3: cannot open shared`: Maybe something added an unnecessary `lib` to the name? Make...

I see the same errors with the latest default kernel: Linux version 5.4.72+ (dom@buildbot) (gcc version 9.3.0 (Ubuntu 9.3.0-17ubuntu1~20.04)) #1356 Thu Oct 22 13:56:00 BST 2020 This is in admittedly...

Thanks @whitslack, I can confirm that this works for me too. I would have never suspected that there is a hidden dependency on the hash function/module; clearly the error reporting...

I added them to my `/etc/initramfs-tools/modules`, which instructs `upgrade-initramfs` to copy them into the initramfs. I suspect that it may be enough to copy them to `/lib/modules` and the other...

Mine's at `/lib/modules/5.10.17+/kernel/lib/crypto/libsha256.ko`.

My kernel config says it must be one of these: ``` ... $ zgrep SHA256 /proc/config.gz # CONFIG_CRYPTO_SHA256_ARM is not set CONFIG_CRYPTO_SHA256=m CONFIG_CRYPTO_LIB_SHA256=y ``` Strange that the lib is listed...

I arrived here because I'm looking for updated firmware for a Popp valve (currently at 01.12.0008 01.12 dated 20220927, but not currently using zigbee2mqtt). I noticed that my valve reports...