The settings that i set in wrmsr through ACRN console is working.
i'm trying to reproduce this through VM Configuration.
Below is the xmls that i trying to set, but its weird that ACRN is not booting up after i change the value in xmls.
rdt resources supported: L3
rdt resource clos max: 4
rdt resource mask max: '0xfff'