Alexander Boettcher
cd1c0aace3
nova: remove specific stack area location
...
and use instead the generic one of base
Fixes #3654
2020-03-26 11:38:55 +01:00
Alexander Boettcher
97bbad5aea
nova: avoid dying thread in platform.run
...
Avoids timely interference by dying thread.
Fixes #3670
2020-03-26 11:38:54 +01:00
Christian Helmuth
5affd51250
depot: update recipe hashes
2020-02-28 08:59:43 +01:00
Norman Feske
daee1f4cb8
timer/nova: prevent potential division by zero
...
This case triggered with the leitzentrale.run script on Qemu.
The frequency value must never initialized with zero.
Fixes #3663
2020-02-27 14:46:59 +01:00
Stefan Thöni
a7a9855493
base: lay groundwork for base-linux caps change
...
Include the necessary hooks to introduce file descriptor
based capabilities in base linux.
Issue #3581
2020-02-27 14:46:58 +01:00
Christian Helmuth
4cccf74664
depot: update recipe hashes
2020-02-20 12:11:23 +01:00
Alexander Boettcher
5440cd4b50
base: use blockade in thread
...
Issue #3612
2020-02-20 12:11:22 +01:00
Alexander Boettcher
00f69bc70d
base: add mutex as derivate of lock
...
The mutex class is more restrictive in usage compared to
Genode::Lock.
- At initialiation time it is ever unlocked.
- No thread is permitted to lock twice. Warn about it
in case it happens.
- Only the lock onwer is permitted to unlock the mutex.
Warn about it and don't unlock the mutex in case it happens.
Issue #3612
2020-02-20 12:11:22 +01:00
Norman Feske
57ea1dbdd3
depot: update recipe hashes
2020-02-10 14:29:06 +01:00
Christian Helmuth
90535a1401
depot: update recipe hashes
2020-02-04 15:51:10 +01:00
Alexander Boettcher
7b964fa700
base: add affinity space info to platform info
...
Issue #3599
2020-02-04 15:51:10 +01:00
Alexander Boettcher
734752d6b5
base-nova: show size of framebuffer correctly
2020-02-04 15:51:09 +01:00
Christian Helmuth
18f90ca1e3
nova: request stack pointer on page fault
...
The SP value is part of the Page_fault_info object but was not requested
from the kernel on portal creation.
2020-01-02 15:30:28 +01:00
Alexander Boettcher
1ac33caa90
nova: handle rpc_entrypoint destruction better
...
Fixes #1921
2019-12-20 11:31:39 +01:00
Alexander Boettcher
a41dd48986
nova: avoid invalid capability counting overhead
...
- handle it the same way as done for other kernels
Fixes #3579
2019-12-20 11:29:21 +01:00
Christian Helmuth
b931b67cba
depot: update recipe hashes
2019-12-19 17:01:43 +01:00
Alexander Boettcher
0a1bc1f4b7
nova: add requesting time of killed SCs
...
Fixes #3587
2019-12-19 17:01:42 +01:00
Christian Helmuth
11ef8e1ff2
depot: update recipe hashes
2019-11-28 09:06:39 +01:00
Stefan Kalkowski
f82714f341
vm_session: return vcpu id when creating vcpu
...
Ref #3553
2019-11-21 14:29:36 +01:00
Christian Helmuth
7ed1d7f11d
depot: update recipe hashes
2019-11-19 14:54:14 +01:00
Christian Helmuth
4a7b0e99a6
depot: update recipe hashes
2019-09-20 14:14:16 +02:00
Christian Helmuth
b2c59576ae
depot: update recipe hashes
2019-08-28 14:36:56 +02:00
Christian Helmuth
312f801f8a
depot: update recipe hashes
2019-08-21 13:25:26 +02:00
Martin Stein
ead385dd17
base-nova: EFI sys-table pointer in platform info
...
Ref #3430
2019-08-13 12:02:03 +02: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
Christian Helmuth
17d32b3e15
depot: update recipe hashes
2019-07-09 09:06:54 +02:00
Christian Helmuth
3c4c460f82
depot: update recipe hashes
2019-06-13 13:40:37 +02:00
Alexander Boettcher
7ec37b2d8d
vbox5: adjust to run with Fiasco.OC
...
- use priorities solely with nova
- handle exceptions during vCPU creation
- avoid assertion in vga_vbda
- silence compiler warnings about outdated register keyword
Issue #3111
2019-06-13 12:22:49 +02:00
Christian Helmuth
72478a9e31
nova: provide missing Rpc_entrypoint::is_myself()
...
The symbol is implemented by the common implementation but was missing
from the nova-specific fork of rpc_entrypoint.cc.
2019-06-13 12:22:48 +02:00
Christian Helmuth
2b183f9497
depot: update recipe hashes
2019-05-29 10:20:52 +02:00
Alexander Boettcher
ab6315d6b4
vm_session: add fpu state for x86
...
Issue #3111
2019-05-29 10:20:52 +02:00
Alexander Boettcher
07ee9654e4
vm_session: consume spurious wakeups on nova
...
Issue #3111
2019-05-27 14:53:32 +02:00
Alexander Boettcher
b50e54b0a8
nova: adjust to g++ 8.3.0
...
Issue #3307
2019-05-27 14:52:52 +02:00
Christian Prochaska
7fadfbbd9f
Treat 'implicit fallthrough' errors as warnings
...
After fixing the warnings, the compiler option should be removed.
Issue #3307
2019-05-27 14:52:52 +02:00
Christian Prochaska
382371d9e4
nova: remove '-Wabi' compiler option
...
Fixes #3351
2019-05-27 14:46:53 +02:00
Christian Prochaska
934ada72fa
nova: remove deprecated 'register' keyword
...
Fixes #3350
2019-05-27 14:46:53 +02:00
Christian Helmuth
22af4436f7
nova: log sp/bp on unresolvable exception
2019-05-16 13:11:03 +02:00
Christian Prochaska
940ba9ba95
base-nova: fix compile errors with GCC 8.3.0
...
Fixes #3325
2019-05-16 13:11:02 +02:00
Christian Helmuth
ba51800b31
depot: update recipe hashes
2019-05-06 16:15:27 +02:00
Stefan Kalkowski
f42c21f16b
platform_info: add kernel information ( fix #3295 )
2019-05-06 16:15:26 +02:00
Alexander Boettcher
05fa063068
vm_session: support to trace vCPU
...
Issue #3111
2019-05-06 16:15:26 +02:00
Martin Stein
181c78d482
timeout: use uint64_t for all plain time values
...
This enforces the use of unsigned 64-bit values for time in the duration type,
the timeout framework, the timer session, the userland timer-drivers, and the
alarm framework on all platforms. The commit also adapts the code that uses
these tools accross all basic repositories (base, base-*, os. gems, libports,
ports, dde_*) to use unsigned 64-bit values for time as well as far as this
does not imply profound modifications.
Fixes #3208
2019-05-06 16:15:26 +02:00
Alexander Boettcher
cc64c43758
vm_session: adjustments to work with seoul vmm
...
for foc, nova, sel4
Issue #3111
2019-05-06 16:15:26 +02:00
Alexander Boettcher
393643515c
base: extend attach of vm_session
...
by offset, size, writeable and executable parameter
Issue #3111
2019-05-06 16:15:25 +02:00
Alexander Boettcher
526554741f
vm_session: evaluate priority (nova)
...
Issue #3111
2019-05-06 16:15:25 +02:00
Alexander Boettcher
d2229ab381
vm_session: evaluate priority
...
Issue #3111
2019-05-06 16:15:25 +02:00
Alexander Boettcher
450c8dc149
vm_session: track dataspaces used by attach
...
Track the dataspaces used by attach and add handling of flushing VM space
when dataspace gets destroyed (not triggered via the vm_session interface).
Issue #3111
2019-05-06 16:15:25 +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
Christian Helmuth
6ea1179145
depot: update recipe hashes
2019-04-09 12:30:35 +02:00
Alexander Boettcher
ae16edf1d6
trace: support more facets of execution time
...
- execution time per thread context
- execution time per scheduling context
- quantum and priority
Issue #3192
2019-04-09 12:30:34 +02:00