i follow https://m-labs.hk/artiq/manual/building_developing.html to build a kasli gateware，
i use git branch release-8.
i get all the gateware and software，
i flash them to kasli success，
when i try to set the dds fre， i get

WARNING:worker(3,<none>):artiq.coredevice.comm_kernel:Mismatch between gateware (8.0+unknown.beta) and software (8.8979+6ab5b84) versions
ERROR:worker(3,<none>):root:Terminating with exception (LoadError: cannot load kernel: parse error: unexpected flags for shared library (wrong floating point ABI?))
Traceback (most recent call last):
  File "D:\anaconda3\envs\for_artiq8\lib\site-packages\artiq\master\worker_impl.py", line 358, in main
    exp_inst.run()
  File "D:\anaconda3\envs\for_artiq8\lib\site-packages\artiq\language\core.py", line 54, in run_on_core
    return getattr(self, arg).run(run_on_core, ((self,) + k_args), k_kwargs)
  File "D:\anaconda3\envs\for_artiq8\lib\site-packages\artiq\coredevice\core.py", line 172, in run
    self._run_compiled(kernel_library, embedding_map, symbolizer, demangler)
  File "D:\anaconda3\envs\for_artiq8\lib\site-packages\artiq\coredevice\core.py", line 159, in _run_compiled
    self.comm.load(kernel_library)
  File "D:\anaconda3\envs\for_artiq8\lib\site-packages\artiq\coredevice\comm_kernel.py", line 385, in load
    raise LoadError(self._read_string())
artiq.coredevice.comm_kernel.LoadError: cannot load kernel: parse error: unexpected flags for shared library (wrong floating point ABI?)
ERROR:master:artiq.master.scheduler:got worker exception in run stage, deleting RID 3```

the gateware seems not right, but i'm sure that i use release-8 branch. 
how to solve this?

Is it the same for other kinds of experiment as well? (e.g. only blinking the LED)

unexpected flags for shared library (wrong floating point ABI?)

This error message is intended to prevent accidentally loading a kernel targeting Kasli with FPU support into one that doesn't. What is the Kasli version? What device_db.py are you using?

    I have encountered this issue while trying TTL, DDS, and artiq_sinara_tester.
    The Kasli version is V1.1.
    The contents of the auto generate device_db.py file are shown in the image below.

    By the way，is the mismatch error important？

    occheung Now all experiments run successfully, but the mismatch warning still exist, do you know how to solve this ?

    WARNING:worker(3,<none>):artiq.coredevice.comm_kernel:Mismatch between gateware (8.0+unknown.beta) and software (8.8979+6ab5b84) versions

        green So your gateware is built using the master branch, not the release-8 branch.
        Could you tell us what command did you use to build the gateware, and flashing the them to Kasli?

            occheung

            I used the following command to build the gateware in a WSL2 Ubuntu environment:

            $ python -m artiq.gateware.targets.kasli <description>.json

            After that, I copied the artiq_kasli folder to Windows. In the artiq8 environment, I then used the command:

            artiq_flash --srcbuild -d artiq_kasli

            to flash the gateware.

                green
                Then is your ARTIQ in your WSL environment on the master branch or the release-8 branch? What is the commit hash?