While creating configuring my zedboard project, i am changing kernel bootargs and saved it.
bootargs = "console=ttyPS0,115200 maxcpus=1"
But when i boot the board, there is no change.
What is the procedure to change the bootarg, so that i can keep only one cpu active??