removing kernel targets

[stlankes]

In #197 we discuss to use x86_64-unknown-none target instead of the special kernel target. Also the aarch64 port has to useaarch64-unknown-none-softfloat. The floating point unit should not use in the kernel space.

[stlankes]

bors try

[bors]

try

Build failed:

• Test (ubuntu-latest)

[mkroening]

Does that mean, we'll produce ELF files without our magic number for now, @stlankes?

[stlankes]

No, I still want to produce ELF files with the magic number for a standalone application. We are able to modify the number after building the library or before linking the application.

However, the target aarch64-unknown-none-softfloat doesn't build a dynamic relocatable library. If this will not changed, we need our own aarch64-unknown-hermitkernel target (see rust-lang/rust#92670). We need a kernel target to disable within the kernel the SIMD instruction and the red-zone.

[stlankes]

At this stage, I don't think that we are able to switch aarch64-unknown-none-softfloat? @mkroening Do you think that we should use x86_64-unknown-none?

[mkroening]

Should this be closed then, @stlankes? I'll have a look at aligning our x86 target with x86_64-unknown-none.

[mkroening]

Resolved by hermit-os/kernel#395.