Add support for WHPX accelerator on Windows and introduce OVMF Pure EFI firmware

CMakeLists.txt

@@ -60,10 +60,12 @@ file(RELATIVE_PATH _PATH_PREFIX ${EXECTOS_BINARY_DIR} ${EXECTOS_SOURCE_DIR})
 add_compiler_flags(-D__RELFILE__="&__FILE__[__FILE__[0] == '.' ? sizeof \\\"${_PATH_PREFIX}\\\" - 1 : sizeof XTOS_SOURCE_DIR]")
 
 # Set the virtual disk image size (in MiB)
-set_disk_image_size(48)
+set_disk_image_size(32)
 
 # Build all subprojects
 add_subdirectory(boot)
+add_subdirectory(bootdata)
 add_subdirectory(drivers)
 add_subdirectory(sdk)
+add_subdirectory(xtldr)
 add_subdirectory(xtoskrnl)

CONTRIBUTING.md

@@ -9,7 +9,8 @@ porting drivers, fixing bugs, writing tests, creating documentation, or helping
 love the help.
 
 ## Wish List
-If you are looking for a way to contribute, but you are not sure where to start, check our list of
+If you are looking for a way to contribute, but you are not sure where to start, check our [IDEAS](IDEAS.md) and
+[KNOWN ISSUES](KNOWN_ISSUES.md) pages for suggestions. We try to keep them up to date. You can also check a list of
 [open issues](https://git.codingworkshop.eu.org/xt-sys/exectos/issues). If you find interesting task and you are serious
 about tackling one, feel free to contact us. We will be able to provide a more detailed information and suggestions
 towards getting started.

IDEAS.md

@@ -0,0 +1,9 @@
+## ExectOS Ideas
+This is a list of ideas that migh but not must be realized.
+
+### XTOSKRNL
+ - [ ] Implement mechanism for detecting CPU features and checking hardware requirements. If CPU does not meet
+       requirements, it should cause a kernel panic before any non-supported instruction is being used.
+ - [ ] Finish framebuffer and terminal implementation. Initialization code is already prepared as well as routines for
+       clearing the screen and drawing single points. Terminal should be instantiable (should be able to create many
+       terminals and switch between them) and work on top of FB. It should define ANSI colors and scrollback buffer.

KNOWN_ISSUES.md

@@ -0,0 +1,6 @@
+## ExectOS Known Issues
+This is a list of well known bugs that exists in all master branch builds.
+
+### XTLDR
+ - [ ] EFI Runtime Services are not mapped properly into higher half. They are mapped itself, but all pointers inside
+       that structure point to some physical address that is unavailable after paging is enabled.

README.md

@@ -57,18 +57,16 @@ ExectOS is in very early development stage, thus its requirements have been not
 design, it requires a modern EFI enabled hardware. It is not possible currently to boot ExectOS on a legacy BIOS.
 
 # Source structure
-| Directory        | Description                                                  |
+| Directory   | Description                                              |
-|------------------|--------------------------------------------------------------|
+|-------------|----------------------------------------------------------|
-| boot/bootdata    | default configuration and data needed to boot XTOS           |
+| bootdata    | default configuration and data needed to boot XTOS       |
-| boot/bootsect    | boot sector code (MBR & VBR) initializing the boot process   |
+| drivers     | XT native drivers source code                            |
-| boot/xtldr       | XTOS boot loader source code                                 |
+| sdk/cmake   | Host toolchain configuration and build-related functions |
-| drivers          | XT native drivers source code                                |
+| sdk/xtdk    | XT Software Development Kit headers                      |
-| sdk/cmake        | host toolchain configuration and build-related functions     |
+| services    | integral subsystems services source code                 |
-| sdk/firmware     | firmware enabling XTOS to boot on virtual machines           |
+| subsystems  | environment subsystems source code                       |
-| sdk/xtdk         | XT Software Development Kit headers                          |
+| xtoskrnl    | XTOS kernel source code                                  |
-| services         | integral subsystems services source code                     |
+| xtldr       | XTOS boot loader source code                             |
-| subsystems       | environment subsystems source code                           |
-| xtoskrnl         | XTOS kernel source code                                      |
 
 # Build
 XTOS can only be built using [XTchain](https://git.codingworkshop.eu.org/xt-sys/xtchain), a dedicated toolchain designed

boot/CMakeLists.txt

@@ -1,3 +1 @@
-add_subdirectory(bootdata)
 add_subdirectory(bootsect)
-add_subdirectory(xtldr)

boot/bootsect/espboot.S

@@ -84,145 +84,14 @@ RealStart:
     leaw -16(%bp), %sp
     sti
 
-    /* Get drive number */
+    /* Print message */
-    cmpb $0xFF, DriveNumber - Start(%bp)
+    movw $msgUnavailable, %si
-    jne GetDriveParameters
-    movb %dl, DriveNumber - Start(%bp)
-
-GetDriveParameters:
-    /* Get drive parameters from the BIOS */
-    movb DriveNumber - Start(%bp), %dl
-    movb $0x08, %ah
-    movb $0x00, %al
-    int $0x13
-    jnc GetDriveSize
-    movw $0xFFFF, %cx
-    movb %cl, %dh
-
-GetDriveSize:
-    /* Get drive size from the BIOS */
-    movzbl %dh, %eax
-    incw %ax
-    movzbl %cl, %edx
-    andb $0x3F, %dl
-    mulw %dx
-    xchgb %cl, %ch
-    shrb $0x06, %ch
-    incw %cx
-    movzwl %cx, %ecx
-    mull %ecx
-    movl %eax, %edi
-
-VerifyBiosParameterBlock:
-    /* Verify the FAT32 BPB */
-    cmpw $0x00, SectorsPerFat - Start(%bp)
-    jne FsError
-    cmpw $0x00, FsVersion - Start(%bp)
-    ja FsError
-
-ReadExtraCode:
-    /* Read second VBR sector with extra boot code */
-    movl HiddenSectors - Start(%bp), %eax
-    addl $0x02, %eax
-    movw $0x01, %cx
-    xorw %bx, %bx
-    movw %bx, %es
-    movw $0x7E00, %bx
-    call ReadSectors
-    jmp StartSectors
-
-ReadSectors:
-    /* Check for extended BIOS functions and use it only if available */
-    pushw %es
-    pushal
-    movb $0x41, %ah
-    movw $0x55AA, %bx
-    movb DriveNumber - Start(%bp), %dl
-    int $0x13
-    jc ReadCHS
-    cmpw $0xAA55, %bx
-    jne ReadCHS
-    testb $0x01, %cl
-    jz ReadCHS
-
-    /* Verify drive size and determine whether to use CHS or LBA */
-    cmpl %edi, %eax
-    jnb ReadLBA
-
-ReadCHS:
-    /* Read sectors using CHS */
-    popal
-    pushal
-    xorl %edx, %edx
-    movzwl SectorsPerTrack - Start(%bp), %ecx
-    divl %ecx
-    incb %dl
-    movb %dl, %cl
-    movl %eax, %edx
-    shrl $0x10, %edx
-    divw NumberOfHeads - Start(%bp)
-    movb %dl, %dh
-    movb DriveNumber - Start(%bp), %dl
-    movb %al, %ch
-    rorb $0x01, %ah
-    rorb $0x01, %ah
-    orb %ah, %cl
-    movw $0x0201, %ax
-    int $0x13
-    jc DiskError
-    popal
-    incl %eax
-    movw %es, %dx
-    addw $0x20, %dx
-    movw %dx, %es
-    loop ReadCHS
-    popw %es
-    ret
-
-ReadLBA:
-    /* Prepare DAP packet and read sectors using LBA */
-    popal
-    pushw %cx
-    pushal
-    pushw $0x00
-    pushw $0x00
-    pushl %eax
-    pushw %es
-    pushw %bx
-    pushw %cx
-    pushw $0x10
-    movw %sp, %si
-    movb DriveNumber - Start(%bp), %dl
-    movb $0x42, %ah
-    int $0x13
-    jc DiskError
-    addw $0x10, %sp
-    popal
-    popw %si
-    pushw %bx
-    movzwl %si, %ebx
-    addl %ebx, %eax
-    shll $0x05, %ebx
-    movw %es, %dx
-    addw %bx, %dx
-    movw %dx, %es
-    popw %bx
-    subw %si, %cx
-    jnz ReadLBA
-    popw %es
-    ret
-
-DiskError:
-    /* Display disk error message and reboot */
-    movw $msgDiskError, %si
     call Print
-    jmp Reboot
 
-FsError:
+    /* Wait for key press and reboot */
-    /* Display FS error message and reboot */
+    xorw %ax, %ax
-    movw $msgFsError, %si
+    int $0x16
-    call Print
+    int $0x19
-    jmp Reboot
 
 Print:
     /* Simple routine to print messages */
@@ -236,40 +105,9 @@ Print:
 DonePrint:
     retw
 
-Reboot:
+msgUnavailable:
-    /* Display a message, wait for a key press and reboot */
+    .ascii "XTLDR requires EFI-based system!\r\nPress any key to restart\r\n"
-    movw $msgAnyKey, %si
-    call Print
-    xorw %ax, %ax
-    int $0x16
-    int $0x19
-
-msgAnyKey:
-    .ascii "Press any key to restart\r\n"
-
-msgDiskError:
-    .ascii "Disk error\r\n"
-
-msgFsError:
-    .ascii "File system error\r\n"
 
 /* Fill the rest of the VBR with zeros and add VBR signature at the end */
 .fill (510 - (. - Start)), 1, 0
 .word 0xAA55
-
-
-StartSectors:
-    /* Print message */
-    movw $msgUnavailable, %si
-    call Print
-
-    /* Wait for key press and reboot */
-    xorw %ax, %ax
-    int $0x16
-    int $0x19
-
-msgUnavailable:
-    .ascii "XTLDR requires EFI-based system!\r\nPress any key to restart\r\n"
-
-/* Fill the rest of the extra VBR with zeros */
-.fill (1024 - (. - Start)), 1, 0

sdk/cmake/functions.cmake

@@ -69,7 +69,6 @@ function(compile_bootsector NAME SOURCE BASEADDR ENTRYPOINT)
         COMMAND ${CMAKE_ASM_COMPILER}
             /nologo
             --target=i386-none-elf
-            -I${CMAKE_CURRENT_SOURCE_DIR}
             /Fo${CMAKE_CURRENT_BINARY_DIR}/${OBJECT_NAME}
             -c -- ${SOURCE}
         COMMAND ${CMAKE_ASM_LINKER}