1*0f2c6331SEmmanuel Vadot# 2*0f2c6331SEmmanuel Vadot# XILINX -- Xilinx kernel configuration file for FreeBSD/arm64 3*0f2c6331SEmmanuel Vadot# 4*0f2c6331SEmmanuel Vadot# For more information on this file, please read the config(5) manual page, 5*0f2c6331SEmmanuel Vadot# and/or the handbook section on Kernel Configuration Files: 6*0f2c6331SEmmanuel Vadot# 7*0f2c6331SEmmanuel Vadot# https://docs.freebsd.org/en/books/handbook/kernelconfig/#kernelconfig-config 8*0f2c6331SEmmanuel Vadot# 9*0f2c6331SEmmanuel Vadot# The handbook is also available locally in /usr/share/doc/handbook 10*0f2c6331SEmmanuel Vadot# if you've installed the doc distribution, otherwise always see the 11*0f2c6331SEmmanuel Vadot# FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the 12*0f2c6331SEmmanuel Vadot# latest information. 13*0f2c6331SEmmanuel Vadot# 14*0f2c6331SEmmanuel Vadot# An exhaustive list of options and more detailed explanations of the 15*0f2c6331SEmmanuel Vadot# device lines is also present in the ../../conf/NOTES and NOTES files. 16*0f2c6331SEmmanuel Vadot# If you are in doubt as to the purpose or necessity of a line, check first 17*0f2c6331SEmmanuel Vadot# in NOTES. 18*0f2c6331SEmmanuel Vadot# 19*0f2c6331SEmmanuel Vadot 20*0f2c6331SEmmanuel Vadot#NO_UNIVERSE 21*0f2c6331SEmmanuel Vadot 22*0f2c6331SEmmanuel Vadotcpu ARM64 23*0f2c6331SEmmanuel Vadotident XILINX 24*0f2c6331SEmmanuel Vadot 25*0f2c6331SEmmanuel Vadotinclude "std.arm64" 26*0f2c6331SEmmanuel Vadotinclude "std.dev" 27*0f2c6331SEmmanuel Vadotinclude "std.xilinx" 28