mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-11 13:22:33 +00:00
parent
d3cc5c9cd2
commit
731df4b037
@ -51,6 +51,7 @@ MIRROR_FROM_REP_DIR := \
|
||||
src/app/cbe_check \
|
||||
src/app/cbe_dump \
|
||||
src/app/cbe_init \
|
||||
src/app/cbe_init_trust_anchor \
|
||||
src/app/cbe_tester \
|
||||
include/cbe
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user