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