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 |
|
Stefan Lankes
|
d96e9069db
|
revise code, increase the readability
|
2018-05-16 19:28:41 +02:00 |
|
Stefan Lankes
|
ec7f5182da
|
fix start address of the kvm memory region
|
2018-05-16 19:27:33 +02:00 |
|
Stefan Lankes
|
04db2dfc87
|
remove obsolete debug message
|
2018-05-15 23:39:40 +02:00 |
|
Stefan Lankes
|
7c89671721
|
rename macros to improve the readability
|
2018-05-15 23:05:56 +02:00 |
|
Stefan Lankes
|
f5fa1569d7
|
reserve larger heap, add gap for pci devices
|
2018-05-15 00:54:13 +02:00 |
|
Stefan Lankes
|
b85ff4c333
|
remove redefinitions of macros
|
2018-05-15 00:53:15 +02:00 |
|
Stefan Lankes
|
86f95e6640
|
Trust HermitCore toolchain
|
2018-05-09 23:17:16 +02:00 |
|
Stefan Lankes
|
942d2b3645
|
fix path to tar file
|
2018-05-08 18:46:16 +02:00 |
|
Stefan Lankes
|
fe9c5af2c9
|
add cmake 3.7.2 to the docker image
|
2018-05-08 16:24:12 +02:00 |
|
Stefan Lankes
|
a71e24a4e1
|
update version number
|
2018-04-30 08:15:08 +02:00 |
|
Stefan Lankes
|
0bd1df6052
|
move benchmark to libhermit to avoid side effects with LwIP
|
2018-04-30 08:02:45 +02:00 |
|
Stefan Lankes
|
7cf050cf30
|
remove obsolete makefiles
|
2018-04-30 07:19:15 +02:00 |
|
Stefan Lankes
|
d33afa25c3
|
update version number
|
2018-04-29 23:52:31 +02:00 |
|
Stefan Lankes
|
807c210111
|
update timer after updating the timer list
- revise code, increase the readability
|
2018-04-29 23:50:02 +02:00 |
|
Stefan Lankes
|
c745503102
|
switch back to the orginial regular expression
|
2018-04-29 13:59:59 +02:00 |
|
Stefan Lankes
|
5026385e7b
|
prevent Travis CI from resetting the working directory
|
2018-04-29 13:34:58 +02:00 |
|
Stefan Lankes
|
f8e2d3194f
|
add repository name to the include path
|
2018-04-29 13:09:23 +02:00 |
|
Stefan Lankes
|
7fab80e461
|
Merge branch 'devel'
|
2018-04-29 12:27:14 +02:00 |
|
Stefan Lankes
|
fb4eae02bc
|
simplify regular expression
|
2018-04-29 11:57:21 +02:00 |
|
Stefan Lankes
|
558311bc40
|
simplify code to send an IPI
|
2018-04-29 11:45:39 +02:00 |
|
Stefan Lankes
|
d520f1ee43
|
use reduce the number of threads for the tests
|
2018-04-29 11:44:41 +02:00 |
|
Stefan Lankes
|
d19100b504
|
remove netio files after tests
|
2018-04-29 10:50:02 +02:00 |
|
Stefan Lankes
|
2d0726ce05
|
list the directory before deploying the package
|
2018-04-29 08:52:15 +02:00 |
|
Stefan Lankes
|
094eabba05
|
udelay reschedules within the busy waiting loop to avoid deadlocks
|
2018-04-29 08:46:31 +02:00 |
|
Stefan Lankes
|
b91a1d5ce3
|
change directory to TRAVIS_BUILD_DIR before deploying HermitCore
|
2018-04-29 07:49:53 +02:00 |
|
Stefan Lankes
|
76a4eedf38
|
update version number
|
2018-04-29 07:13:43 +02:00 |
|
Stefan Lankes
|
aa768aeadd
|
Merge branch 'devel'
|
2018-04-29 01:58:51 +02:00 |
|
Stefan Lankes
|
e6558c0b9b
|
use uart device to dump kernel messages
|
2018-04-28 23:29:36 +00:00 |
|
Stefan Lankes
|
7a6efe3256
|
add dummy migration implementation for aarch64
|
2018-04-28 15:25:22 +00:00 |
|
Stefan Lankes
|
98357b9537
|
remove compiler warnings
|
2018-04-28 15:38:16 +02:00 |
|
Stefan Lankes
|
00270b84ef
|
Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel
|
2018-04-28 15:31:47 +02:00 |
|
Stefan Lankes
|
e26ec98b5a
|
revise code to increase the readability
|
2018-04-28 15:28:15 +02:00 |
|
Stefan Lankes
|
ebce6e7221
|
add helper functions to proctect newlib's environment and heap
|
2018-04-28 15:26:42 +02:00 |
|
Stefan Lankes
|
94499b33b8
|
simplify spinlock code to improve the readability
|
2018-04-28 15:24:44 +02:00 |
|
Stefan Lankes
|
411a99c27f
|
remove irq save locks to avoid deadlocks
|
2018-04-28 15:22:45 +02:00 |
|
Stefan Lankes
|
7009fd5370
|
remove obsolete code
|
2018-04-28 15:21:44 +02:00 |
|