Michael Mueller ddb8720728 Merge branch 'staging' of github.com:mmueller41/genode into pc-ixgbe

2025-01-28 13:55:39 +01:00

..

mk

depot/build_bin_archive: keep hash of ingredients

2024-11-20 08:55:49 +01:00

build

Merge branch 'staging' of github.com:mmueller41/genode into pc-ixgbe

2025-01-28 13:55:39 +01:00

create

Build and create depots with 64 make jobs.

2025-01-28 13:43:31 +01:00

dependencies

depot: add support for debug info files

2023-11-28 14:45:29 +01:00

download

depot: add support for debug info files

2023-11-28 14:45:29 +01:00

extract

tool/depot: improve handling of missing ports

2019-05-27 14:52:52 +02:00

missing_ports

tool/depot: improve handling of missing ports

2019-05-27 14:52:52 +02:00

publish

depot: add support for debug info files

2023-11-28 14:45:29 +01:00

publish_current

depot: tool for publishing current versions

2018-05-03 16:11:53 +02:00

static_analyze

tool: use static analyzer with depot creation tool

2018-11-29 11:46:02 +01:00