I’m interested in exploring the BMC capabilities in more detail for the X2L, X4, and Palmshell SLiM X4L computers. They seem to have American Megatrends BMCs and while I like the ability to PXE boot, etc., I’d like to see if the code for these can be open sourced, or alternatively, if a project could be made to allow use of OpenBMC on these to allow for additional experimentation. Are there any tools for working on these BMCs? Also, as a related question, how can the BIOS version be checked to see if it is up to date with versions released by Radxa?