ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-14 16:26:30 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-foc
History
Alexander Boettcher ea97d1943a foc: avoid unsynchronized vm state tracking 
_extra_dispatch_up is used by the ep and the vcpu
thread unsynchronized, which leads under sufficient load to race situations,
where both wait for each other and no one ever will continue. Remove
_extra_dispatch_up completely, which is not required, as the kernel interface
handles this specific state already.

Fixes #5461
2025-02-24 16:39:56 +01:00
..
config
base: remove SPEC variables of boards (fix #3971)
2021-01-25 13:58:09 +01:00
etc
base: remove SPEC variables of boards (fix #3971)
2021-01-25 13:58:09 +01:00
include
foc: support more caps
2025-01-30 16:30:14 +01:00
lib
base: de-duplicate src/lib/base/platform.cc
2023-07-14 12:06:31 +02:00
patches
foc: fix build errors with gcc 12
2023-05-30 12:03:25 +02:00
ports
foc: fix build errors with gcc 12
2023-05-30 12:03:25 +02:00
recipes/src
depot: update recipe hashes
2025-01-30 16:32:35 +01:00
run
run: use ram attribute in start nodes
2025-02-24 16:39:20 +01:00
src
foc: avoid unsynchronized vm state tracking
2025-02-24 16:39:56 +01:00
README
base-foc: remove stale README content
2020-12-09 14:02:11 +01:00

README 

This repository contains the port of Genode to the Fiasco.OC microkernel.

:[https://os.inf.tu-dresden.de/fiasco]:
  Official website for the Fiasco.OC microkernel