Remove redundant `-DKernelPlatform` when building seL4

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

70 stars 37 forks source link

Remove redundant `-DKernelPlatform` when building seL4 #45

Closed Ivan-Velickovic closed 9 months ago

Ivan-Velickovic commented 9 months ago

The board.name may not actually be the name of a valid seL4 platform so this is wrong, in addition KernelPlatform is provided by each supported platform's kernel options.