hermitux
hermitux copied to clipboard
ssrg-vt
A binary-compatible unikernel
Does running hermitux speedup signal handling， e.g. sigfpe, sigtrap ? Also does it support LD_PRELOAD ? so I can rewrite dynamically loaded libraries.
Excellent project, but why didn't I see any open source protocol files.
as mention in the end of [wiki](https://github.com/ssrg-vt/hermitux/wiki/Fast-system-calls-in-dynamically-linked-programs) > Next one can use the test-dyn target of the template Makefile to launch dynamically compiled binaries with our transformed version of Musl....
Greetings All, A bit new to Unikernels still and am very interested in trying to see if HermiTux can be setup to run a small footprint NAS server in a...
I noticed that there are Bots benchmarks that are not working with Hermitux. The following programs are executed on a nova node of g5k. I have no difficulty running other...
The [repo](https://github.com/llvm-mirror/openmp) we use is now read only as LLVM's libiomp has moved to the main LLVM [repo](https://github.com/llvm/llvm-project).
It fails on uhyve because of `KVM_ENABLE_CAP` in `uhyve.c`. So, I just comment this section, then it works ok. However, it doesn't work on qemu. When I set `HERMIT_ISLE=qemu`, kernel...
We support only a subset of Linux's syscalls. Supporte system calls are listed [here](https://github.com/ssrg-vt/hermitux-kernel/blob/master/arch/x86/kernel/isrs.c#L261). Each `case` of the switch statement corresponds to a system call and redirect the execution to...
See [here](https://github.com/ssrg-vt/hermitux-kernel/blob/8151f45d7ccab173b306ae04ef33bda844308847/mm/vma.c#L184).
OMP benchmarks fail when the number of cores supported is increased above 64. This can be done when configuring the kernel with cmake: ``` cmake -DMAX_CORES=128 ``` An example of...