Disable Linux ports - Githubissues

CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.

https://CheriBSD.org

Other

5 stars 11 forks source link

Closed kwitaszczyk closed 2 years ago

kwitaszczyk commented 2 years ago

CheriBSD does not support Linux compatibility yet. When building packages, we shouldn't waste time processing Linux ports.