• Omid Azizi's avatar
    Stirling: Trim headers package, and include more headers · 9201e48e
    Omid Azizi authored
    Summary:
    This removes a bunch of unneeded files from the pre-packed headers.
    
    With the space savings, more linux headers are included in the base image.
    
    This should make us more reliable across Linux versions.
    
    Test Plan: Manual.
    
    Reviewers: #engineering, zasgar, yzhao
    
    Reviewed By: #engineering, zasgar
    
    JIRA Issues: PP-1864, PP-1863
    
    Differential Revision: https://phab.corp.pixielabs.ai/D4622
    
    GitOrigin-RevId: ffb9cc3aea44b678dcff594b7edec56430e522a3
    9201e48e