EP4137942B1 - Management Method for Operating System, Device, Storage Medium, and Computer Program Product