Re: how is Linux GHC formed?