Stefan Lankes
|
88de77669b
|
if env. variable HERMIT_DEBUG is set to 1, the gdbserver will be started
|
2016-11-20 14:38:43 +01:00 |
|
Stefan Lankes
|
da1e202a99
|
use a thread-local semaphore for the netconn api
|
2016-11-20 13:07:34 +01:00 |
|
Stefan Lankes
|
49d88edfe9
|
add IPv6 support for the connection between proxy and HermitCore
|
2016-11-20 12:25:23 +01:00 |
|
Stefan Lankes
|
8534f6034e
|
add empty dummy file to be more POSIX compliant
|
2016-11-20 01:20:01 +01:00 |
|
Stefan Lankes
|
da4486d93a
|
add rdrand support
If available, HermitCore supports rdrand to generate random number.
LwIP uses this instruction to support DNSSec.
|
2016-11-20 00:48:22 +01:00 |
|
Stefan Lankes
|
d287184bbe
|
add thread-safe version of lwip_rand
lwip_rand is required to support IPv6 and DNSSec
|
2016-11-20 00:09:12 +01:00 |
|
Stefan Lankes
|
285e38822f
|
switch to LwIP 2.0.0 with dual-stack support (IPv4+IPv6)
|
2016-11-19 23:46:23 +01:00 |
|
Stefan Lankes
|
2c7fdee666
|
remove typo
|
2016-11-19 10:18:35 +01:00 |
|
Stefan Lankes
|
75c126fc4b
|
search only for the substring "Server is listening"
because the complete line includes also the boot time
|
2016-11-13 23:13:23 +01:00 |
|
Stefan Lankes
|
78e59f62f7
|
increase the default number of cores
|
2016-11-09 22:07:06 +01:00 |
|
Stefan Lankes
|
0960879881
|
increase the number of cores to KNL size (256)
|
2016-11-08 11:20:09 +01:00 |
|
Stefan Lankes
|
bbc5a48c5a
|
Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel
|
2016-11-08 09:17:45 +01:00 |
|
Stefan Lankes
|
a7e74cceae
|
disable (temporary) frequency detection
|
2016-11-08 09:15:12 +01:00 |
|
Stefan Lankes
|
0cbde812ea
|
Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel
|
2016-11-08 09:14:51 +01:00 |
|
Stefan Lankes
|
e797232871
|
disable bug frequency detection
|
2016-11-07 23:38:52 +01:00 |
|
Stefan Lankes
|
5459c49c71
|
Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel
|
2016-11-07 22:59:56 +01:00 |
|
Stefan Lankes
|
e7849997d7
|
by waiting for new tasks, the core will be set to the C3 state
=> reduce the power consumption
|
2016-11-07 21:10:00 +01:00 |
|
Stefan Lankes
|
e5792bd088
|
Merge pull request #51 from daniel-k/pr/logging
Kernel logging facilities
|
2016-11-07 14:41:01 +01:00 |
|
daniel-k
|
d5ca6881a2
|
logging: provide level based logging throughout the kernel
|
2016-11-07 13:56:42 +01:00 |
|
daniel-k
|
1515ad1ba6
|
kernel/main: fix typo
|
2016-11-07 13:52:30 +01:00 |
|
daniel-k
|
900d17fa40
|
kernel/time: provide uptime based on APIC timer ticks
|
2016-11-07 13:52:30 +01:00 |
|
Stefan Lankes
|
068fbf2cb6
|
use mwait to check the readyqueue for new arriving tasks
|
2016-11-06 19:26:19 +01:00 |
|
Stefan Lankes
|
f1ed79144a
|
add clflush, mwait and monitor support
|
2016-11-06 19:24:01 +01:00 |
|
Stefan Lankes
|
b09747e022
|
remove obsolete debug message
|
2016-11-06 13:01:58 +01:00 |
|
Stefan Lankes
|
0f0df0e66e
|
add debug messages, unmap pages after the failed search for the MP tables
|
2016-11-05 23:02:24 +01:00 |
|
Stefan Lankes
|
d69895a766
|
remove typos
|
2016-11-05 20:05:04 +01:00 |
|
Stefan Lankes
|
d31232d82d
|
remove obsolte function
|
2016-10-23 21:52:37 +02:00 |
|
Stefan Lankes
|
0f136e63f3
|
increase the maximum number of cores to support KNL
|
2016-10-23 10:33:20 +02:00 |
|
Stefan Lankes
|
6cf477f3c6
|
remove obsolte "RCCE_release_lock" => triggers a deadlock on HermitCore
|
2016-10-22 11:59:22 +02:00 |
|
Stefan Lankes
|
be37bf3d03
|
add missing file
|
2016-10-21 20:26:51 +02:00 |
|
Stefan Lankes
|
703992b6cf
|
add hbmem support
|
2016-10-21 00:21:01 +02:00 |
|
Stefan Lankes
|
8c8dac4038
|
add AVX512 optimized memcpy
|
2016-10-21 00:19:44 +02:00 |
|
Stefan Lankes
|
4f5e190ea7
|
remove obsolete wait loop
|
2016-10-20 20:47:31 +02:00 |
|
Stefan Lankes
|
3640fcda34
|
add Linux config file for the CentOS 7 kernel
modified CentOS 7 kernel is available at
https://github.com/RWTH-OS/linux/tree/centos7
|
2016-10-20 20:37:30 +02:00 |
|
Stefan Lankes
|
00d9b358df
|
reserve space for AVX-512
|
2016-10-20 12:25:07 +02:00 |
|
Stefan Lankes
|
67320feba5
|
enable AVX512 support
|
2016-10-20 00:09:34 +02:00 |
|
Stefan Lankes
|
b24979e448
|
remove typos
|
2016-10-19 16:00:51 +02:00 |
|
Stefan Lankes
|
fa9c8a27ac
|
add wait loop until HermitCore is successfully booted
|
2016-10-19 12:49:37 +02:00 |
|
Stefan Lankes
|
f2f38f397e
|
forward packet to Linux, if the destination IP is a real address
|
2016-10-19 12:48:55 +02:00 |
|
Stefan Lankes
|
210dbc1773
|
remove typo
|
2016-10-19 07:28:42 +02:00 |
|
Stefan Lankes
|
cec424f369
|
round frequency to an integer
|
2016-10-09 23:14:31 +02:00 |
|
Stefan Lankes
|
add938ae38
|
switch back to the INIT IPI delay for modern CPUs
|
2016-10-09 23:08:45 +02:00 |
|
Stefan Lankes
|
deb2b2ad0c
|
remove typo
|
2016-10-09 23:02:23 +02:00 |
|
Stefan Lankes
|
4f9e32b67a
|
per default, we didn't longer build the linux kernel
because it isn't required for our tests on Travis CI
|
2016-10-09 22:56:12 +02:00 |
|
Stefan Lankes
|
b22e2601f3
|
enable x2APIC only at boot time (and not in every reset call)
|
2016-10-09 08:57:31 +02:00 |
|
Stefan Lankes
|
b32d266a8c
|
remove dependency of the PCRE library
|
2016-10-09 08:55:10 +02:00 |
|
Stefan Lankes
|
070d5fac66
|
map cmdline 1:1 into the virtual address space, refactoring of the code
|
2016-10-08 23:24:55 +02:00 |
|
Stefan Lankes
|
451a36176f
|
remove obsolete debug messages
|
2016-10-08 23:18:33 +02:00 |
|
Stefan Lankes
|
bb9ffa2a99
|
forward the cpu frequency from the host to HermitCore
|
2016-10-08 00:59:52 +02:00 |
|
Stefan Lankes
|
75f431eccc
|
increasing the readability
|
2016-10-08 00:23:49 +02:00 |
|