genode/repos/base-hw/ports/muen.port
Adrian-Ken Rueegsegger 3108b71a89 Update Muen port
- Use device class in system policies to simplify platform-specific
  device assignment
- Increase timed event nr. bits from 5 to 6
2018-05-30 13:36:36 +02:00

19 lines
600 B
Plaintext

LICENSE := GPLv3
VERSION := git
DOWNLOADS := muen.git
URL(muen) := https://git.codelabs.ch/git/muen.git
REV(muen) := 807cb0381e12329d84cb7e6b2f778b1e1559a2e8
DIR(muen) := src/kernel/muen
$(call check_tool,git)
$(call check_tool,iasl)
$(call check_tool,tidy)
$(call check_tool,xsltproc)
default : additional_steps
additional_steps : $(DOWNLOADS)
$(VERBOSE)git -C src/kernel/muen submodule update --init tools/mugenschedcfg > /dev/null
$(VERBOSE)git -C src/kernel/muen submodule update --init components/libxhcidbg > /dev/null
$(VERBOSE)$(MAKE) -C src/kernel/muen/contrib QUIET=true download