ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4 + foc: extend port's tool check rules

Browse Source
This commit is contained in:
Stefan Kalkowski 2020-09-29 13:50:23 +02:00 committed by Christian Helmuth
parent c79687f5f4
commit 3cf3344fa3
4 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-foc/ports/foc.hash
View File

@ -1 +1 @@
ce2d3e9f54b383ef2368e4cd285b0b48b0424f63
2e8cbb44d4c009238d96b66a9fc085e038f22e61

2
repos/base-foc/ports/foc.port
View File

@ -37,3 +37,5 @@ PATCH_OPT(patches/0014-Always-enable-user-mode-access-for-performance-monit.patc
PATCH_OPT(patches/0015-VMX-disable-event-injection-if-requested-by-VMM.patch) := -p3 -d${DIR(foc)}
PATCH_OPT(patches/0016-svm-provide-cr0-to-guest-if-np-enabled.patch) := -p3 -d${DIR(foc)}
PATCH_OPT(patches/0017-svm-avoid-forceful-exit-on-task-switch.patch) := -p3 -d${DIR(foc)}
$(call check_tool,gawk)

2
repos/base-sel4/ports/sel4_tools.hash
View File

@ -1 +1 @@
4ee1b92defa12f61ad427c341e7f046324319e90
78557e468a0afa132d2ed90b54c0c8f38686240c

1
repos/base-sel4/ports/sel4_tools.port
View File

@ -8,3 +8,4 @@ REV(sel4_tools) := 3839bb9740f8f13266de4273774004634388a2f7
DIR(sel4_tools) := src/tool/sel4_tools
$(call check_tool,python)
$(call check_tool,cpio)