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
Alexander Boettcher
1fc707d9dc
nova: fix copy-paste bug in oom code
...
Fixes #1944
2016-05-09 13:09:54 +02:00
Alexander Boettcher
4ac7127f89
nova: avoid memory leak in kernel
2016-04-11 11:51:45 +02:00
Alexander Boettcher
1d5aa4ca7e
nova: avoid warnings because of oom handling
...
Use kernel branch which is more accurate in accounting memory, which avoids
kernel messages of following form:
[0] warning: insufficient resources ...
Fixes #1830
2016-01-08 14:37:57 +01:00
Alexander Boettcher
7ee3e98551
nova: update kernel to fix assertion
...
Some special pages (0-page, 1-page) in the kernel must not be freed up
during PD destruction.
Fixes #1828
2015-12-18 15:04:25 +01:00
Alexander Boettcher
1aa6a2a4a1
nova: fix kernel freezing
...
Fixes #1815
2015-12-10 13:16:28 +01:00
Alexander Boettcher
5b376188da
nova: disable super pages for DMAR units
2015-11-29 18:17:09 +01:00
Alexander Boettcher
18130e3120
nova: limit user virtual address space on 64bit
2015-11-29 18:17:08 +01:00
Alexander Boettcher
f92a6a9594
nova: use kernel with DMAR quirk for Lenovo X250
...
Issue #1764
2015-11-29 18:17:08 +01:00
Alexander Boettcher
7857e830a3
nova: fix write-combing support
...
Issue #1764
2015-11-29 18:17:08 +01:00
Christian Prochaska
6bf4fd3340
nova: 64-bit guest support
...
Issue #1791
2015-11-29 18:17:06 +01:00
Alexander Boettcher
91b69edb72
nova: adjust kernel warning/error messages
...
- extend one overmap message case
- show by default more error messages
Issue #1779
2015-11-18 12:22:08 +01:00
Alexander Boettcher
5c63f7003e
nova: evalute pending irqs si->sm association
...
Fixes ps/2 driver bring-up if already some irqs are pending but not delivered
to the Genode signal(Nova semaphore) - reported by @nfeske.
Fixes #1779
2015-11-18 12:22:08 +01:00
Alexander Boettcher
ffbbf69959
nova: update kernel branch to avoid tlb issues
...
Following page fault sympton in core gets fixed:
PAGE-FAULT IN CORE (WRITE pf_addr=1000000 pf_ip=14361c from 00 <NULL>)
stack pointer 0xa01fec30, qualifiers 0x6 irUWp
faulter utcb a01ff000, last message item count 1
0 - type=1 rights=0x3 region=0x1000000+0x1000000 hotspot 0(801) - delegated
1 a01fec30 0014361c
2 a01fec68 001401d5
2015-10-28 15:06:23 +01:00
Alexander Boettcher
c0e88ec69e
nova: adjust kernel quota calculation
...
Too less memory quota for a PD may be calculated, which leads to too early
punishment for a Genode process.
Discovered during Turmvilla scenario #1552 and issue #1733 .
2015-10-09 16:38:47 +02:00
Alexander Boettcher
ad24b25af0
nova: avoid buddy allocator assertion in kernel
...
Fixes #1672
2015-09-30 15:48:11 +02:00
Alexander Boettcher
0f2c2a675a
nova: support write combining
...
Fixes #1566
2015-08-31 09:09:22 +02:00
Alexander Boettcher
b438181188
nova: use updated r9 kernel branch
...
Fixes a kernel regression (because of using builtin_retrun_address)
introduced by the out-of-memory commits.
Issue #1601
2015-08-27 12:02:16 +02:00
Alexander Boettcher
df662cc2f3
nova: use kernel branch with quota handling
...
Fixes #1601
2015-08-21 10:59:45 +02:00
Christian Prochaska
2337dc03f4
nova: use branch supporting changing PDPTE by VMM
...
Fixes #1637
2015-08-21 10:58:59 +02:00
Alexander Boettcher
9506c89f88
nova: fix memory leaks / invariant TSCs
...
- free up kernel memory of empty slabs (if already one empty slab is in
place)
- free up more page table entries
- handle CPUs with invariant TSCs gracefully
Genode/Nova running on CPUs without the invariant TSC feature may seem
to 'hang'. The referenced commit of the nova branch fixes the issue
for some older Intel CPUs.
Fixes #1615
2015-07-07 19:48:07 +02:00
Alexander Boettcher
7b6cd28dcb
nova: update to r9
...
Fixes compiler warnings and re-enables debug commits regarding out of memory
situations.
Fixes #1551
2015-06-03 12:53:48 +02:00
Alexander Boettcher
3e90542559
nova: use signals with irqs in core
...
Avoids the need to have per IRQ a thread that blocks synchronously for next
interrupt. Now a thread may wait for multiple IRQs as other signals
simultaneously.
In core no threads are required anymore for IRQs/MSI - the clients (either
the pci_drv or in case of MSI the driver) gets the IRQ delivered directly as
a ordinary Genode signal.
Useful since #1216 and #1487 is now available.
Commit applies feature of #1446 also to IRQ/MSIs.
2015-05-26 09:39:51 +02:00
Alexander Boettcher
f5329c23b7
nova: update to kernel branch introducing signals
...
+ adjust syscall headers accordingly
Issue #1446
2015-03-27 11:53:11 +01:00
Alexander Boettcher
3279346f80
nova: update kernel (fixes endless loop)
...
If running multiple VBox VMMs with Windows as guest concurrently then it may
happen that the system seem to hang. It turned out that actually
a VM-exit storm (vmx_exception->handle_exc_nm) causes a endless loop between
kernel and vCPU. Nothing gets scheduled nor interrupts are received anymore.
The referenced kernel commit fixes this issue.
Issue #1343
2015-03-13 12:17:24 +01:00
Alexander Boettcher
a31378476d
nova: use in core one pager per CPU
...
Fixes #1394
2015-02-27 11:40:58 +01:00
Alexander Boettcher
8842ba2e1c
nova: remove timer delay heuristic
...
The commit uses a fixed kernel branch (r8), which fixes a caching bug
observable in the Genode host. The quirk detecting the circumstance in the
timer service is obsolete now and is removed.
Fixes #1338
2015-01-06 12:39:11 +01:00
Alexander Boettcher
eedf3fa413
nova: update to r7 branch
...
Fixes #1297
2014-11-28 12:00:44 +01:00
Alexander Boettcher
e70c13ce1f
nova: update to r6 nova kernel branch
...
- adds general support for semaphore timeouts
- fixes PCID feature (aka tagged TLB) seeen on Lenovo X201
Fixes #1211
2014-07-24 10:18:06 +02:00
Norman Feske
615830e107
Enable hash checks for ports mechanism
2014-05-27 13:45:03 +02:00
Norman Feske
7d4f8fa746
base-nova: migrate to new ports mechanism
...
Issue #1082
2014-05-27 11:14:43 +02:00