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
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
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
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
Stefan Lankes
c5ecc2beec
only the multi-kernel version supports the kernel message buffer
...
=> remove dumping messages for the single-kernel version
2018-04-28 10:21:53 +02:00
Stefan Lankes
f11c948347
use UART device to print kernel messages
...
- HermitCore's message buffer isn't longer supported by uhyve
2018-04-28 10:13:06 +02:00
Simon Pickartz
59d0bfa956
uhyve migration support ( #89 )
...
- incremental/complete guest memory transfer via RDMA
- cold migration via RDMA
- live migration via RDMA (currently fixed number of iterations)
- complete guest memory transfer via TCP/IP (for compatibility)
2018-04-26 20:57:05 +02:00
Stefan Lankes
b789360af2
add basic SMP support, just jumping to smp_start
2018-04-24 20:45:28 +00:00
Stefan Lankes
15b5495f31
fix incompatibility issues to KVM API on a x86_64 processors
2018-04-24 22:14:41 +02:00
Stefan Lankes
7a6b06cb91
Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel
2018-04-24 21:53:41 +02:00
Stefan Lankes
a7707f46e3
initialize irq controller after all vcpu
...
- this is required to support aarch64
2018-04-24 19:48:55 +00:00