Jun 7, 2023 [<"git"] [^"2 Setting Up Your Environment"] ["Setup Files for the Course">] 2.4 Installing the host tools I have prepared some brief installation videos but to get the most up-to-date instructions for installing these host tools follow the instructions on their web sites. [<"git"] [^"2 Setting Up Your Environment"] ["Setup Files for the Course">]