-
Use the x86-64-efi as example how to build a xenomai x86 image. Signed-off-by: Quirin Gylstorff <quirin.gylstorff@siemens.com> Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
8561e7da
Use the x86-64-efi as example how to build a xenomai x86 image. Signed-off-by: Quirin Gylstorff <quirin.gylstorff@siemens.com> Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>