1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00

Merge branch 'devel' of github.com:hermitcore/libhermit into devel

This commit is contained in:
Stefan Lankes 2018-07-08 07:44:06 +02:00
commit 69ed9f5354

View file

@ -18,7 +18,7 @@ set(SRC proxy.c
uhyve-x86_64.c
uhyve-aarch64.c
uhyve-gdb-x86_64.c
uhyve-aarch64.c
uhyve-gdb-aarch64.c
)
### Optional migration via RDMA