This is an automated email from the ASF dual-hosted git repository. acassis pushed a commit to branch master in repository https://gitbox.apache.org/repos/asf/nuttx.git
commit c02dba9a0de431bdfef89f9ddc05be109bb56832 Author: p-szafonimateusz <[email protected]> AuthorDate: Wed Nov 27 09:43:43 2024 +0100 Documentation: add x86_64 kernel build configs Documentation: add x86_64 kernel build configs --- .../x86_64/intel64/boards/qemu-intel64/index.rst | 28 ++++++++++++++++++++++ Documentation/platforms/x86_64/intel64/index.rst | 9 +++++++ 2 files changed, 37 insertions(+) diff --git a/Documentation/platforms/x86_64/intel64/boards/qemu-intel64/index.rst b/Documentation/platforms/x86_64/intel64/boards/qemu-intel64/index.rst index 3978e576e1..3d7f372888 100644 --- a/Documentation/platforms/x86_64/intel64/boards/qemu-intel64/index.rst +++ b/Documentation/platforms/x86_64/intel64/boards/qemu-intel64/index.rst @@ -181,6 +181,34 @@ Basic command to run the image without additional PCI devices attached:: qemu-system-x86_64 -m 2G -cpu host -smp 4 -enable-kvm \ -kernel nuttx -nographic -serial mon:stdio + +knsh_romfs +---------- + +This is similar to the ``nsh`` configuration except that NuttX +is built as a kernel-mode, monolithic module, and the user applications +are built separately. It uses ROMFS to load the user-space applications. +This is intended to run on QEMU with COM serial port support. + +Steps to build kernel image with user-space apps in ROMFS:: + + ./tools/configure.sh qemu-intel64/knsh_romfs + make -j + make export -j + pushd ../apps + ./tools/mkimport.sh -z -x ../nuttx/nuttx-export-*.tar.gz + make import -j + ./tools/mkromfsimg.sh + mv boot_romfsimg.h ../nuttx/arch/x86_64/src/board/romfs_boot.c + popd + make -j + +knsh_romfs_pci +-------------- + +This is similar to the ``knsh_romfs`` configuration except that it is intended +to run on a bare metal Intel hardware with PCI serial port support. + lvgl ---- diff --git a/Documentation/platforms/x86_64/intel64/index.rst b/Documentation/platforms/x86_64/intel64/index.rst index d151207877..add50be656 100644 --- a/Documentation/platforms/x86_64/intel64/index.rst +++ b/Documentation/platforms/x86_64/intel64/index.rst @@ -80,6 +80,15 @@ and use ``-cdrom boot.iso`` (multiboot2 framebuffer doesn't work with Also, your GRUB configuration (``grub.cfg``) should insert the appropriate video module, in many cases ``insmod all_video`` should be enough. +Kernel build +------------ + +Kernel build is supported. + +.. warning:: + IMPORTANT: the current implementation doesn't include any protection against + speculative execution vulnerabilities (Spectre, Meltdown and others) ! + Creating a bootable disk ========================
