/* GNU/Linux/aarch64 specific target description, for the remote server
for GDB.
- Copyright (C) 2017-2019 Free Software Foundation, Inc.
+ Copyright (C) 2017-2020 Free Software Foundation, Inc.
This file is part of GDB.
along with this program. If not, see <http://www.gnu.org/licenses/>. */
#include "server.h"
+
+#include "linux-aarch64-tdesc.h"
+
#include "tdesc.h"
#include "arch/aarch64.h"
#include "linux-aarch32-low.h"