Alexander Boettcher
888b89c1c0
nova: avoid pagefault on invalid SVM exit
...
Fixes #4391
2022-02-15 10:23:15 +01:00
Alexander Boettcher
3a39cb86e9
nova: read out more accurate tsc frequency
...
on newer CPUs.
Fixes #4336
2022-01-19 14:16:53 +01:00
Alexander Boettcher
533015b93e
nova: support transfer of IA32_TSC_AUX MSR for vCPUs
...
The 32-bit MSR is returned by rdtscp in ecx register and used to detect
the CPU ID the timestamp was taken on.
Issue #4314
2021-11-29 15:10:52 +01:00
Christian Prochaska
405e6744fb
nova: update kernel for gcc 10
...
Fixes #4114
2021-05-05 11:35:30 +02:00
Alexander Boettcher
d6a5a66623
vbox5: enable 64bit SVM support
...
Fixes #3965
2021-02-23 12:02:42 +01:00
Alexander Boettcher
f358fcbda6
nova: flush Intel IOMMU caches
...
- when memory is detached
Issue #3963
2021-01-25 13:48:09 +01:00
Alexander Boettcher
c5de2acf57
vm_session(x86): support cstar register
...
Fixes #3964
2020-12-09 14:02:12 +01:00
Alexander Boettcher
b7ba508110
nova: update to kernel supporting AMD IO-MMU
...
Fixes #3928
2020-11-23 12:03:00 +01:00
Alexander Boettcher
04d3c9e750
nova: re-enable DMAR super pages in kernel
...
Fixes #3902
2020-10-09 13:35:55 +02:00
Alexander Boettcher
99fa203673
nova: add migration support for global threads
...
Fixes #3842
2020-10-09 13:33:36 +02:00
Alexander Boettcher
0a1bc1f4b7
nova: add requesting time of killed SCs
...
Fixes #3587
2019-12-19 17:01:42 +01:00
Alexander Boettcher
53a83fb76e
nova: update kernel branch
...
- Avoid DoS against kernel, reported by Julian Stecklina
- Provide EFI systab pointer through HIP
- Fix PCID bug
Fixes #3440
2019-08-13 12:02:03 +02:00
Alexander Boettcher
b50e54b0a8
nova: adjust to g++ 8.3.0
...
Issue #3307
2019-05-27 14:52:52 +02:00
Christian Prochaska
934ada72fa
nova: remove deprecated 'register' keyword
...
Fixes #3350
2019-05-27 14:46:53 +02:00
Alexander Boettcher
26796c8f7a
nova: update kernel branch
...
- sorting of initializer by Christian Prochaska - issue #3253
- leak of FPU register state reported by Julian Stecklina - thanks !
- fix page table synchronization bug - by Julian Stecklina
- add a second dynamic buddy if the memory requirements could not be fulfilled
by the first dynamic buddy
- disable vtlb peek if EPT/NPT is enabled
2019-05-06 16:15:16 +02:00
Alexander Boettcher
30ddae0f91
nova: evaluate second kernel buddy earlier
...
Fixes #3195
2019-02-28 16:37:53 +01:00
Alexander Boettcher
0a0a6ef591
nova: de-schedule SCs in destruction earlier
...
Fixes issues detected during destruction in
Issue #3041
2019-01-07 12:25:45 +01:00
Alexander Boettcher
e6ddffb93c
nova: exclude framebuffer range from buddy memory
...
Fixes #3013
2018-10-29 09:36:21 +01:00
Alexander Boettcher
ca727ea3d9
nova: update to latest r10 branch
...
- which avoids some false postive overmap mappings
- and contains more accurate kernel memory accounting.
Fixes #3009
2018-10-29 09:36:21 +01:00
Alexander Boettcher
3824ad4756
nova: define kernel memory based on system memory
...
Switch to kernel branch, that determines the available system memory during
boot time. The overall kernel memory is still static, but during boot time
dynamically the amount can be chosen. Following 3 config option exists:
CONFIG_MEMORY_BOOT is the amount of kernel memory allocated in the BSS
statically - effectively chosen during link time - see linker script.
CONFIG_MEMORY_DYN_MIN && CONFIG_MEMORY_DYN_PER_MILL configures the dynamic
part of the kernel memory allocation applied during early kernel boot time.
CONFIG_MEMORY_DYN_MIN is the amount of memory which should be allocated at
least. CONFIG_MEMORY_DYN_PER_MILL defines the amount of the system memory in
per mill which should be allocated at most. The overall maximum kernel memory
is restricted to ~1G (64bit), due to the chosen internal virtual memory layout.
Fixes #2985
2018-09-21 13:19:19 +02:00
Alexander Boettcher
237f6a6a62
nova: provide microcode data via platform_info
...
Issue #2762
2018-08-28 16:46:05 +02:00
Alexander Boettcher
017685b1b2
nova: update kernel branch (MCA, invalid DMAR)
...
to avoid resetting due to invalid IOMMU/DMAR hardware units.
Fixes #2700
2018-08-02 14:36:48 +02:00
Alexander Boettcher
3148b67288
nova: use kernel branch r10
...
- Reordering and cleanup of commits to form a common branch shared by others
- Add right bit to deny portal usage for cross-core IPC
- avoid GP when switching on AMD SVM if disabled by UEFI/BIOS
Issue #2854
2018-06-29 10:44:58 +02:00
Alexander Boettcher
2ee15cc2e0
nova: enable -Weffc++ for kernel
...
Issue #465
Issue #2646
2018-02-14 20:41:05 +01:00
Alexander Boettcher
711cce3f4d
nova: provide exec. time caused by cross core IPC
...
Issue #2646
2018-02-14 20:41:05 +01:00
Alexander Boettcher
02d33e7b28
nova: disable IOMMU fault reporting on-demand
...
if too many faults are caused by devices.
Fixes #2631
2018-02-09 13:26:02 +01:00
Alexander Boettcher
86f269feba
nova: update kernel to fix sporadic hangs
...
Fixes #2571
2017-11-24 09:02:04 +01:00
Alexander Boettcher
1e04836a6d
nova: read out tsc freq of some more Intel CPUs
...
instead of measuring the frequency. Avoids inaccuracy which leads to failing
tests on Genode regarding timing.
Fixes #2566
2017-11-24 09:02:04 +01:00
Alexander Boettcher
bf3c57511b
nova: add support for boot fb pitch
...
Issue #2555
2017-11-24 09:02:04 +01:00
Alexander Boettcher
26eb0ce794
nova: use kernel with enabled SMAP feature
...
Issue #1723
2017-11-01 08:39:49 +01:00
Alexander Boettcher
f2c3225ab6
nova: enable nx bit handling for x86_64
...
Issue #1723
2017-11-01 08:39:48 +01:00
Alexander Boettcher
9705c90d87
nova: update kernel to fix sporadic hangs
2017-10-19 13:29:41 +02:00
Alexander Boettcher
e73521a95e
nova: fix fpu nullpointer access in kernel
2017-08-28 16:49:48 +02:00
Alexander Boettcher
9b93ebfa18
nova: extend SVM support
...
- Win7 32 bit VM on 32bit Genode/Nova runs fin runs fine
- tested on Phenom II X4
Issue #2454
2017-06-29 11:59:58 +02:00
Alexander Boettcher
67a1cb92f2
nova: handle instable TSC calibration
...
Issue #2400
2017-06-29 11:59:57 +02:00
Johannes Kliemann
615f2ba2da
nova: support mbi2 framebuffer
...
- export framebuffer information as platform_info ROM by core
Issue #2242
2017-06-29 11:59:50 +02:00
Alexander Boettcher
f30f0a81e0
nova: uefi boot support using multiboot2
...
- kernel provides ACPI RSDT/XSDT pointer
- core exports it via a ROM called "platform_info"
Issue #2242
2017-06-29 11:59:50 +02:00
Alexander Boettcher
94095a27ac
nova: adjust calibration time
...
Extend the calibration time of CPUs with Local-APIC that does not support the
TSC-Deadline mode. Improves the accuracy of timeouts.
Issue #2400
2017-06-19 12:35:57 +02:00
Alexander Boettcher
6513d0ce0f
nova: build fixes with GCC 6 of kernel
...
Fixes #2379
Fixes #2380
2017-05-31 13:15:53 +02:00
Alexander Boettcher
637a54aeb5
nova: fix irq handling for qemu 2.7 and newer
...
Fixes #2336
2017-03-15 12:33:49 +01:00
Alexander Boettcher
d5d4befab3
nova: avoid !zero assertion in kernel
...
Fixes #2266
2017-02-07 11:12:25 +01:00
Alexander Boettcher
604a8860de
nova: avoid assertion during cross-cpu IPC
...
Fixes #2198
2017-01-13 13:05:46 +01:00
Alexander Boettcher
10ba9c8f20
nova: fix kernel assertion during revoke
...
Fixes #2191
2016-12-14 11:22:28 +01:00
Alexander Boettcher
57949c2bbb
nova: support asynchronous delegate
...
Issue #2173
2016-11-25 15:30:57 +01:00
Alexander Boettcher
94fd5ad3b0
nova: make kernel memory configurable
...
via the Genode build system. Avoids the need to maintain contrib patches on
nova.
Fixes #2162
2016-11-08 15:26:34 +01:00
Alexander Boettcher
74c0b22066
nova: fix sc kernel assertions
...
Fixes #2161
2016-11-08 15:26:33 +01:00
Alexander Boettcher
4b148d896a
nova: fix oom handling in kernel
...
Fixes #2126
2016-10-21 12:39:35 +02:00
Alexander Boettcher
4d7d4dd2fc
nova: fix capability issues in PCID/SMP setups
...
Kernel fails to lookup a capability it just got delegated, if
the backing store for the destination capability was before backed by a
zero-page. Triggers if PCID (64bit) is in use or in SMP setups.
Fixes #2101
2016-09-30 14:15:22 +02:00
Alexander Boettcher
86e690b7f3
nova: avoid kernel assertion in mdb code
...
Fixes #2100
2016-09-15 07:17:07 +02:00
Alexander Boettcher
4783043b5d
nova: free up mdb entry if no sub node exists
...
Issue #1950
Fixes #2048
2016-08-10 11:07:49 +02:00