Peter Pietzuch

Results 15 issues of Peter Pietzuch

Applications such as OpenVINO (https://github.com/opencv/dldt) parse '/proc/cpuinfo' instead of using `sysconf` (which SGX-LKL supports) to obtain CPU information. Without valid entries in `/proc/cpuinfo', this is broken. SGX-LKL has some limited...

enhancement
area: sgx-lkl
p1

This test depends on PR #781 being merged.

This PR adds the Java DaCapo benchmark sample and attempts to fix #645. A fundamental issue with SGX1 is that the in-enclave segfault handler does not receive the correct address...

Problem -------- The current default for the number of ethreads is 1, as defined [here](https://github.com/lsds/sgx-lkl/blob/e8ad968fd25b410d37418263e370aa7eebbd924f/tools/schemas/enclave-config.schema.json#L376). This is not a good idea, as by default there would be no true parallelism...

p2

The LTP test `kernel-syscalls-fallocate-fallocate05-(debug)-(run-hw)-(8-ethreads)` can show the following failure: ``` [ SGX-LKL ] nproc=4 ETHREADS=8 CMDLINE="mem=512m" [ SGX-LKL ] HW TLS support: econf->fsgsbase=1 [ SGX-LKL ] Registering disk 0 (path='sgxlkl-miniroot-fs.img',...

p2

We want LKL to be able to load ELF executables and libraries using the `binfmt_elf_fpdic` format. This format supports the loading of regular ELF binaries on a non-MMU architecture. This...

enhancement
area: sgx-lkl
p3

When running a multi-threaded application using OpenMP, SGX-LKL doesn't terminate cleanly and blocks. To reproduce, run the [OpenMP sample application](https://github.com/lsds/sgx-lkl/tree/oe_port/samples/languages/openmp). When running it with `make run-sw`, it freezes as follows:...

bug
area: sgx-lkl
p2

Build types for SGX-LKL ================= We want to support the following three mutually-exclusive build types for SGX-LKL: 1. `make DEBUG=true` **# DEBUG build** This creates a debug build of SGX-LKL...

enhancement
area: attestation
area: sgx-lkl
p1

Currently, lthreads indicate that they are sleeping on an event channel directly by setting the waiting flag in the event channel. This causes the host side to signal condition variables...

enhancement
area: sgx-lkl
area: virtio
p2

We need to improve the support for app_config JSON files, so we can use it to specify the full configuration. Currently large parts still need to be set using environment...

enhancement
area: sgx-lkl
p2