xref: /rk3399_rockchip-uboot/board/xilinx/microblaze-generic/config.mk (revision 5a34957c39c9526b88c658b740fc4e9a3012e58b)
1#
2# (C) Copyright 2007 Michal Simek
3#
4# Michal  SIMEK <monstr@monstr.eu>
5#
6# SPDX-License-Identifier:	GPL-2.0+
7#
8# CAUTION: This file is a faked configuration !!!
9#          There is no real target for the microblaze-generic
10#          configuration. You have to replace this file with
11#          the generated file from your Xilinx design flow.
12#
13
14PLATFORM_CPPFLAGS += -mno-xl-soft-mul
15PLATFORM_CPPFLAGS += -mno-xl-soft-div
16PLATFORM_CPPFLAGS += -mxl-barrel-shift
17