Help regarding Building x86_64 BSP

Karel Gardas karel at
Tue Mar 7 18:24:19 UTC 2023

On 3/7/23 15:05, Siddharth Khattar wrote:
> Hello all,
> So I was aiming to make a project to improve the amd64 BSP for RTEMS 
> (modify it according to ACPI standards along with other stuff) but first 
> I would need to build it. Unfortunately there was no way to build it 
> natively within RTEMS source. So, I needed to install QEMU and had to 
> build the UEFI firmware,OVMF by Tianocore in order to build it. 

Indeed, they still list Ubutnu 16.04 LTS as a build OS. Hmm, I would go 
with VM for this. You need to build it just once...


More information about the devel mailing list