ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 15:32:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
9,705 Commits 2 Branches 70 Tags 87 MiB
b097e598f1
Commit Graph

80 Commits

Author SHA1 Message Date
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
Christian Prochaska
71183783a2 NOVA: initialize segment and flag registers of local ECs 
Make sure that the segment and flag registers of local ECs are initialized
after recall by initializing them at EC creation time.

Fixes #2000
 2016-06-28 11:09:28 +02:00
Alexander Boettcher
74030a2e38 nova: kernel fix for more than 4096 processes 
Fixes #1951
 2016-05-27 09:34:23 +02:00
Alexander Boettcher
b9b8114a4e nova: support fixed ACPI event delivery by kernel 
Issue #1962
 2016-05-26 15:54:13 +02:00
Christian Prochaska
2cde1d36c1 base: changes for GDB monitor 
- add a new function 'binary_ready_hook_for_gdb()' in ldso. GDB can set a
  breakpoint at this function to know when ldso has loaded the binary
  into memory.
- get the thread state from the NOVA kernel immediately on 'pause()'

Fixes #1968
 2016-05-23 15:52:49 +02:00
Alexander Boettcher
bb3e9300f6 nova: disable ACPI GPE events during kernel boot 
Issue #1962
 2016-05-23 15:52:38 +02:00
Alexander Boettcher
dccad4c526 nova: kernel support for more than 4096 processes 
Fixes #1951
 2016-05-23 15:52:36 +02:00
Alexander Boettcher
77c4510787 nova: support dropping caps just locally 
without revocation of all subsequent delegations.

Fixes #1950
 2016-05-23 15:52:36 +02:00