Is there any way to boot this baremetal? If so, what is the procedure? (i haven't tried nothing yet. If this can run my binary manager(https://github.com/xplshn/bigdl) I am thinking of using a very bare OS with only a Linux kernel and SBASE + UBASE.).