Search results

Use local replacement ABI packages instead of a repository from pkg.CheriBSD.org

Status: Open.

#34 In CTSRD-CHERI/poudriere-infrastructure;

· kwitaszczyk opened on Jun 12, 2024

Build replacement ABI packages before building requested packages

Status: Open.

#33 In CTSRD-CHERI/poudriere-infrastructure;

· kwitaszczyk opened on Jun 12, 2024

Don't build QEMU system modes when building an SDK with cheribuild

Status: Open.

#32 In CTSRD-CHERI/poudriere-infrastructure;

· kwitaszczyk opened on Mar 15, 2024

Build a hybrid sysroot per CheriBSD branch

Status: Open.

#31 In CTSRD-CHERI/poudriere-infrastructure;

· kwitaszczyk opened on Mar 15, 2024

Rebuild packages with Zstandard compression

Status: Open.

#25 In CTSRD-CHERI/poudriere-infrastructure;

· kwitaszczyk opened on May 6, 2022

Automatically upload packages after a build

Status: Open.

#24 In CTSRD-CHERI/poudriere-infrastructure;

· kwitaszczyk opened on Apr 28, 2022

Bootstrap Poudriere with snapshots from Jenkins

Status: Open.

#23 In CTSRD-CHERI/poudriere-infrastructure;

· kwitaszczyk opened on Apr 28, 2022

Write CHERI software porting guide for external code, such as in ports.

Status: Open.

#13 In CTSRD-CHERI/poudriere-infrastructure;

· gvnn3 opened on Mar 23, 2022