ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update Muen port 

- Use device class in system policies to simplify platform-specific
  device assignment
- Increase timed event nr. bits from 5 to 6
This commit is contained in:
Adrian-Ken Rueegsegger 2018-04-12 14:22:39 +02:00 committed by Christian Helmuth
parent 19816bcd31
commit 3108b71a89
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-hw/ports/muen.hash
View File

@ -1 +1 @@
f1615ee45298f31e598e4544bdf7bdda782da394
a4ce6a1f3bc1209e4c9f8ecf163d7af354c188af

2
repos/base-hw/ports/muen.port
View File

@ -3,7 +3,7 @@ VERSION := git
DOWNLOADS := muen.git
URL(muen) := https://git.codelabs.ch/git/muen.git
REV(muen) := 73087542833cb3a9fbb13cd079e815ba4b77918f
REV(muen) := 807cb0381e12329d84cb7e6b2f778b1e1559a2e8
DIR(muen) := src/kernel/muen
$(call check_tool,git)

2
repos/base-hw/src/core/spec/x86_64/muen/timer_driver.h
View File

@ -29,7 +29,7 @@ struct Kernel::Timer_driver
struct Subject_timed_event
{
Genode::uint64_t tsc_trigger;
Genode::uint8_t event_nr :5;
Genode::uint8_t event_nr :6;
} __attribute__((packed));
struct Subject_timed_event * event_page = 0;