diff --git a/doc/getting-started/getting-started.rst b/doc/getting-started/getting-started.rst index 51f11567f..cc66c3515 100644 --- a/doc/getting-started/getting-started.rst +++ b/doc/getting-started/getting-started.rst @@ -329,12 +329,6 @@ Generate a Board Configuration File disk="/media/$USER/"$(ls /media/$USER) cp -r "$disk"/board_inspector ~/acrn-work -#. On the target, load the ``msr`` driver, used by the Board Inspector: - - .. code-block:: bash - - sudo modprobe msr - #. Run the Board Inspector tool ( ``board_inspector.py``) to generate the board configuration file. This example uses the parameter ``my_board`` as the file name. diff --git a/doc/tutorials/board_inspector_tool.rst b/doc/tutorials/board_inspector_tool.rst index c0abff089..c593abfee 100644 --- a/doc/tutorials/board_inspector_tool.rst +++ b/doc/tutorials/board_inspector_tool.rst @@ -28,12 +28,6 @@ a board configuration file. #. Make sure the target system is set up and ready to run the Board Inspector, according to :ref:`gsg-board-setup` in the Getting Started Guide. -#. Load the ``msr`` driver, used by the Board Inspector: - - .. code-block:: bash - - sudo modprobe msr - #. Run the Board Inspector tool (``board_inspector.py``) to generate the board configuration file. This example assumes the tool is in the ``~/acrn-work/`` directory and ``my_board`` is the desired file