genode/repos/ports/src
Alexander Boettcher 29911cf114 seoul: update contrib branch
- reactivate vga update, range was to small
- remove diagnostic messages
- add support to ignore machine check MSR MCG CAP

Issue #3683
2020-04-17 12:40:13 +02:00
..
app seoul: update contrib branch 2020-04-17 12:40:13 +02:00
lib Remove noux runtime 2020-04-17 12:39:33 +02:00
noux-pkg ports/make: avoid aliasing with libc symbols 2020-03-26 11:38:57 +01:00
test Remove noux runtime 2020-04-17 12:39:33 +02:00
virtualbox5 Backport changeset 82268 from virtualbox 2020-03-26 11:38:54 +01:00