9 Commits

Author SHA1 Message Date
Alexander Boettcher
03470e7bab nova: use kernel with suspend/resume support
Issue 
2022-11-18 14:45:27 +01:00
Christian Helmuth
ab9a2107e4 nova: support interrupt mode config in assign_gsi
Fixes 
2022-08-10 13:32:59 +02:00
Alexander Boettcher
858505918a nova: support EC time in trace subject info
The vanilla NOVA kernel solely supports tracking and exporting of execution
times per SC kernel object, but not per thread (EC object). The commit extends
to track execution times per EC in the NOVA kernel, exporting it to Genode's
'core' roottask and populating Genode's Trace::Subject_info structure.

Fixes 
2022-05-25 12:19:32 +02:00
Norman Feske
03047009b1 base: avoid implicit conversions
This patch is a prerequisite for compiling the code with
the warnings -Wconversion enabled.

Issue 
2021-12-17 15:04:44 +01:00
Alexander Boettcher
99fa203673 nova: add migration support for global threads
Fixes 
2020-10-09 13:33:36 +02:00
Alexander Boettcher
711cce3f4d nova: provide exec. time caused by cross core IPC
Issue 
2018-02-14 20:41:05 +01:00
Alexander Boettcher
57949c2bbb nova: support asynchronous delegate
Issue 
2016-11-25 15:30:57 +01:00
Alexander Boettcher
77c4510787 nova: support dropping caps just locally
without revocation of all subsequent delegations.

Fixes 
2016-05-23 15:52:36 +02:00
Stefan Kalkowski
ed52d5a211 Introduce 'spec' subdirectories to outline aspects
Instead of holding SPEC-variable dependent files and directories inline
within the repository structure, move them into 'spec' subdirectories
at the corresponding levels, e.g.:

  repos/base/include/spec
  repos/base/mk/spec
  repos/base/lib/mk/spec
  repos/base/src/core/spec
  ...

Moreover, this commit removes the 'platform' directories. That term was
used in an overloaded sense. All SPEC-relative 'platform' directories are
now named 'spec'. Other files, like for instance those related to the
kernel/architecture specific startup library, where moved from 'platform'
directories to explicit, more meaningful places like e.g.: 'src/lib/startup'.

Fix 
2015-09-16 13:58:50 +02:00