Hi All, Recently, I make some research on iKGT and found some issues as following: (1) The screen will become black when we load iKGT on a board with 48 GB, then we remove some memories, it will boot to ubuntu. It seems iKGT doesn't support larger memory. (2) We can't build the whole project in a DEBUG way. There are some errors with make debug=1 building. (3) In readme, tell us to use ./check_vtx.sh to test whether the processor VT-x feature is being used. On my board, it shows Vtx is available when we boot to ubuntu without iKGT, but if we boot to ubuntu with iKGT, it becomes VTx is not available. The ubuntu is using VCPU instead of physical CPU when we enabled iKGT, maybe the vmx flag is gone in VCPU?