I need a compiler

You can supply GCC with a number of options to restrict it to a more "bare metal" environment.

the only thing that makes "arm-linux-gnueabihf" and "arm-none-eabi" different is the C library and default options.

if you're going extreme bare metal (and will implement C library stuff like printf and memcpy yourself) then you can do something like -nostdlib -nostdinc to prevent searching for the default (for Linux compilers this is usually glibc and you don't want that).

when a compiler is 'hf' by default you can override it with -mfloat-abi=soft or -mfloat-abi=softfp and -mfpu and -march/cpu.

so, you can use a Linux compiler just fine. Just recall that Linux itself - the kernel - doesn't want to use the userspace C libraries or headers and has specific requirements but you still build it with the userspace compiler.

You can supply GCC with a number of options to restrict it to a more "bare metal" environment.

the only thing that makes "arm-linux-gnueabihf" and "arm-none-eabi" different is the C library and default options.

if you're going extreme bare metal (and will implement C library stuff like printf and memcpy yourself) then you can do something like -nostdlib -nostdinc to prevent searching for the default (for Linux compilers this is usually glibc and you don't want that).

when a compiler is 'hf' by default you can override it with -mfloat-abi=soft or -mfloat-abi=softfp and -mfpu and -march/cpu.

so, you can use a Linux compiler just fine. Just recall that Linux itself - the kernel - doesn't want to use the userspace C libraries or headers and has specific requirements but you still build it with the userspace compiler.