When I received the board it rebooted every 30 seconds. After finding out that the current bootloader was outdated and cooporating with Windows 10 I decided to update it. Following these steps kept the board in bootloader when I chose "DAPLink rev0244 OpenSDA v2.2 Bootloader" and showing frdm-k64f when I chose "DAPLink rev0244", with the latter one it showed 63.9mb flash on Windows 10, but everything was working normal. This didn't look right to me so I kept digging to find what was wrong so I found this and followed these steps. The board booted up with the name "DAPLINK" as descriped, but still 63.9mb flash available.
Is this normal?
I also have issues with random hard faults, freezing of the board on serial with the pc while it is doing a simple for loop with only waits and prints and the worst of all memory corruptions. I don't know whether or not this is a result of the bootloader.
Thanks in advance