Hi, please have a look into Kernkonzept's github and their wiki on building L4Re [1]. This should get you started.
Best, Matthias. [1] https://github.com/kernkonzept/manifest/wiki/BUILDING On [18-09-2022 16:05], Mincheol Sung wrote: > Hi guys, > > I am hanging out with L4, but couldn't find instructions/tutorials for > building L4Re for an x86_64 bare-metal machine. Can you point me in the > right direction? Thanks in advance. > > Mincheol > _______________________________________________ > l4-hackers mailing list > l4-hackers@os.inf.tu-dresden.de > https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers -- Matthias Lange phone: +49 (0) 351-41 888 614 Senior Operating Systems Engineer web: https://www.kernkonzept.com Kernkonzept GmbH Buchenstraße 16b 01097 Dresden Geschäftsführer: Dr.-Ing. Michael Hohmuth Registergericht: Amtsgericht Dresden Handelsregister: HRB 31129 You might not be working when I am and that's ok! Please make sure to only reply when it suits you. Mails can wait. _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
