Peter Pietzuch
Peter Pietzuch
I think that we can check the number of ethreads, as they all need to enter the enclave at the start. Since each should occupy a separate TCS, the enclave...
Yes, we currently use musl version 1.1.21, and the `copy_file_range` wrapper was added in musl version 1.1.24.
Yes, because it's already mounted. Why wouldn't this fail?
- I believe that we need to have defaults inside the enclave because an SKR policy that doesn't mention a particular app_config value needs to (implicitly) endorse the default value...
> Regarding futex_cmp_requeue01, `sched_yield` now goes via LKL instead of directly calling `lthread_yield` - https://github.com/lsds/sgx-lkl-musl/pull/18/files#diff-687e538b71be7b81c2d4ddf641470487. > > This could be a regression. Is this a determinsitic failure? I indeed believe...
In most cases, I see a deadlock in which the termination thread fails to obtain a CPU lock for syscalls but nothing else is running. The DotNet hang is different:...
We should also avoid using `args->shm->env` and instead copy the environment variables referenced in the enclave_config explicitly.
I think that’s correct.
It should be src/lkl/virtio*
You're right. It seems that we're using `lkl/tools/lkl/lib/iomem.c` here.