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