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

1664 commits

Author SHA1 Message Date
Stefan Lankes
0a957de645 remove compiler warning 2018-06-09 19:50:47 +02:00
Stefan Lankes
5739a4700c Merge branch 'master' into devel 2018-06-02 01:44:21 +02:00
Stefan Lankes
cd1d43c136 fix URLs 2018-06-02 01:42:45 +02:00
Stefan Lankes
d905612394 Merge branch 'master' into devel 2018-06-01 01:18:22 +02:00
Stefan Lankes
30e82284f8 fix path to the build status icon 2018-06-01 01:12:25 +02:00
Stefan Lankes
a569bb25a0 Merge branch 'master' into devel 2018-06-01 00:45:39 +02:00
Stefan Lankes
4ca95a6ff5 reduce the number of log messages 2018-06-01 00:27:13 +02:00
Stefan Lankes
c07adcdec9 add g++ compiler to the docker image 2018-06-01 00:26:54 +02:00
Stefan Lankes
2452c960ca install all ubuntu packagges before installing the toolchain 2018-05-31 23:26:49 +02:00
Stefan Lankes
08d7bc786d revise docker deployment, build also bootstrap version 2018-05-31 19:33:04 +02:00
Stefan Lankes
2a1e1254fb deploy docker image for the toolchain 2018-05-30 00:50:53 +02:00
Stefan Lankes
dd961473f3 fix package name and path to the proxy 2018-05-30 00:29:01 +02:00
Stefan Lankes
566a55ee40 fix package name and path to the proxy 2018-05-30 00:27:19 +02:00
Stefan Lankes
3b39937162 install rpm to build valid install packages 2018-05-30 00:13:55 +02:00
Stefan Lankes
78f02b90bf fix wrong initialization of EFER 2018-05-30 00:10:53 +02:00
Stefan Lankes
459c7ea48e add check for msr-index and if missing a workaround 2018-05-30 00:10:00 +02:00
Stefan Lankes
89149c00e3 Merge branch 'master' into devel 2018-05-29 23:58:09 +02:00
Stefan Lankes
2da177a309 fix path to libgomp.spec 2018-05-29 23:49:31 +02:00
Stefan Lankes
4625636798 Merge branch 'master' of github.com:hermitcore/libhermit 2018-05-29 23:41:36 +02:00
Stefan Lankes
d17bb16c0a install libgomp.spec to support OpenMP 2018-05-29 23:40:30 +02:00
Stefan Lankes
16035dc9e6 remove deprecated perl code and add a new version 2018-05-29 23:34:05 +02:00
Stefan Lankes
0de1db5ac9
Install qemu-system-x86 within Ubuntu 18.04 2018-05-28 23:35:08 +02:00
Stefan Lankes
b469c4c0ee use cmake to build the debian package 2018-05-28 23:16:06 +02:00
Stefan Lankes
4ad0a104ef Merge branch 'master' of github.com:hermitcore/libhermit 2018-05-28 23:01:24 +02:00
Stefan Lankes
ed0bf7e22b use the default install routine 2018-05-28 23:00:53 +02:00
Stefan Lankes
682a8329ab
fix path to the proxz 2018-05-28 19:55:13 +02:00
Stefan Lankes
65e2c06a8b add use cases to test the environment 2018-05-28 18:42:26 +02:00
Stefan Lankes
013a480e31 install libhermit to pass all checks
- before we install a new version of libhermit, we remove the old one
2018-05-28 18:00:28 +02:00
Stefan Lankes
4a739adb2c disable stripping 2018-05-27 23:24:55 +02:00
Stefan Lankes
e28fe36c41 Merge branch 'master' into devel 2018-05-27 22:01:47 +02:00
Stefan Lankes
3e61f9fea3 build lib with the cross-compiler instead of the bootstrap compiler 2018-05-27 21:58:44 +02:00
Stefan Lankes
0a7aaad3ae add new address of the submodules 2018-05-27 21:00:03 +02:00
Stefan Lankes
47919e64dc fix wrong repository name 2018-05-27 14:21:07 +02:00
Stefan Lankes
694bf79ba7 fix path to the debian package 2018-05-27 14:11:22 +02:00
Stefan Lankes
fc56815fc5 remove typo 2018-05-27 12:00:26 +02:00
Stefan Lankes
76e3708846 configure also submodules 2018-05-27 10:45:05 +02:00
Stefan Lankes
ee37d0ea22 set prefix to /opt/hermit 2018-05-27 10:38:56 +02:00
Stefan Lankes
a81aa75945 fix name of the pthread library 2018-05-27 10:32:32 +02:00
Stefan Lankes
beaab6da7c install nasm to build hermitcore 2018-05-27 10:23:48 +02:00
Stefan Lankes
20f49ed504 fix path to the config files 2018-05-27 10:18:59 +02:00
Stefan Lankes
62a7012eb1 add script to build libhermit for Ubuntu 18.04 2018-05-27 10:12:15 +02:00
Simon Pickartz
5916a77607 fix guest_size metadata for migration (#93)
If the guest exceeds KVM_32BIT_GAP_START we have to remove the
KVM_32BIT_GAP_SIZE from the guest_size since this is re-calculated at
the destination.
2018-05-18 12:17:05 +02:00
Simon Pickartz
77536f5280 support for ODP using RDMA (#92)
-- optionally enable ODP (if supported)
-- dynamically choose first active device port
-- add memory allocator test
2018-05-18 08:49:51 +02:00
Simon Pickartz
b5d5c0a3bb fix usage of DIRTY_LOG for guests greater/equal IO GAP (#91) 2018-05-17 14:38:23 +02:00
Stefan Lankes
020339c32a fix wrong initialization of EFER 2018-05-17 14:23:17 +02:00
Stefan Lankes
907a40b74a Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel 2018-05-17 13:40:20 +02:00
Stefan Lankes
d077837781 add check for msr-index and if missing a workaround 2018-05-17 13:39:38 +02:00
Simon Pickartz
3dadcdc6b0 fix RDMA migration for guests greater/equal to the IO gap (#90)
-- omit IO gap when registering MRs
-- split MRs during COMPLETE_DUMP in chunks of port_attr.max_msg_sz
2018-05-17 12:25:00 +02:00
Stefan Lankes
0c6061bc6c add also the option to map bss section on demand 2018-05-16 22:54:34 +02:00
Stefan Lankes
0b1c47092a rename macros in more meaningfull names 2018-05-16 21:36:42 +02:00