mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
ed64a9233e
This patch is required to build the OKL4 version of core from a source archive. It avoids fetching source codes from BASE_DIR, and moves the vpath wildcard for %.cc after all specific vpath definitins, in particular those that are x86-specific. Without the latter change, core would always end up using the generic version of 'platform_services.cc', omitting the IO_PORT service from core. |
||
---|---|---|
.. | ||
x86 | ||
x86_32 |