Christian Helmuth a25ec92a30 sel4: explicit vpath for each file in core ... The pattern rule picked up the wrong platform_services.cc in the depot-archive case only because the archive integrates generic and sel4-specific source files into REP_DIR.		2018-04-19 12:39:20 +02:00
..
core	sel4: explicit vpath for each file in core	2018-04-19 12:39:20 +02:00
include	AVL node/tree: make non-copyable	2018-02-09 13:34:23 +01:00
kernel/sel4	sel4: add uefi boot support via mbi2	2017-08-28 16:49:47 +02:00
lib	Follow practices suggested by "Effective C++"	2018-01-17 12:14:35 +01:00