In this lab we will install the SITL simulator for the Crazyflie quadrotor, based on Gazebo and ROS2. We will then implement a model predictive contoller (MPC) for a simple trajectory tracking task.