Re: [OS-BUILD PATCHv2] Export ark infrastructure files