0

简而言之：

我正在尝试在 x86_64 虚拟机中运行 sel4 微内核，但无法使以太网接口正常工作。在 sel4 微内核上获得 Internet 连接（通过 vitio-net 以太网设备）的正确程序是什么？什么是正确的（内存）地址？

长版：

我已经使用 e1000 网络设备尝试了 camkes (picoserver) 示例，但无法让它们工作，所以我决定学习一些新东西并从头开始。此外，我决定使用 virtio-net（与 vhost 一起）而不是模拟 e1000 设备以获得更好的性能。我的计划是使用ethif_virtio_pci_init初始化一个eth_driver结构，然后将该结构传递给 picoTCP。现在我可以在 sel4 中找到 virtio PCI 设备，但我不确定如何正确访问它并ethif_virtio_pci_config_t为ethif_virtio_pci_init.

来自 libethdrivers virtio_pci.h 的一些信息：

typedef struct ethif_virtio_pci_config {
    uint16_t io_base;
    void *mmio_base;
} ethif_virtio_pci_config_t;

/**
 * This function initialises the hardware and conforms to the ethif_driver_init
 * type in raw.h
 * @param[out] eth_driver   Ethernet driver structure to fill out
 * @param[in] io_ops        A structure containing os specific data and
 *                          functions.
 * @param[in] config        Pointer to a ethif_virtio_pci_config struct
 */
int ethif_virtio_pci_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);

所以ethif_virtio_pci_config_t我需要一个 uint16_t io_base 地址和一个指向 MMIO 基址的指针。

这是我到目前为止获得的信息：

Found virtio_net_pci device
    BASE_ADDR[0] ----
        base_addr_space[0]: 0x1 [PCI_BASE_ADDRESS_SPACE_IO]
        base_addr_type[0]: 0x0 [ 32bit ]
        base_addr_prefetchable[0]: no
        base_addr[0]: 0xc000
        base_addr_size_mask[0]: 0xffffffe0
    BASE_ADDR[1] ----
        base_addr_space[1]: 0x0 [PCI_BASE_ADDRESS_SPACE_MEMORY]
        base_addr_type[1]: 0x0 [ 32bit ]
        base_addr_prefetchable[1]: no
        base_addr[1]: 0xfeb91000
        base_addr_size_mask[1]: 0xfffff000
    BASE_ADDR[2] ----
    BASE_ADDR[3] ----
    BASE_ADDR[4] ----
        base_addr_space[4]: 0x0 [PCI_BASE_ADDRESS_SPACE_MEMORY]
        base_addr_type[4]: 0x4 [ 64bit ]
        base_addr_prefetchable[4]: yes
        base_addr[4]: 0xfe000000
        base_addr_size_mask[4]: 0xffffc000
    BASE_ADDR[5] ----

据我了解，我现在需要将物理地址映射到虚拟地址。为此，我创建了一个 IO-mapper，但我不确定要映射什么。从 0x8000000 开始的整个 dma 区域还是只是 virtio 设备的地址？据我了解，新的虚拟地址将是我的 MMIO 基指针，但 uint16_t io_base 是什么？

到目前为止，这是我的代码，我不确定的部分在最后：

#define ALLOCATOR_STATIC_POOL_SIZE ((1 << seL4_LargePageBits) * 10)
static simple_t simple;
static ps_io_mapper_t io_mapper;
static char allocator_mem_pool[ALLOCATOR_STATIC_POOL_SIZE];
static vka_t vka;
static vspace_t vspace;
static sel4utils_alloc_data_t data;
static ltimer_t timer;

int main() {

    PRINT_DBG("Hello World\n");
    seL4_BootInfo *info = platsupport_get_bootinfo();

    simple_default_init_bootinfo(&simple, info);

    /* print out bootinfo and other info about simple */
    // simple_print(&simple);

    allocman_t *allocman = bootstrap_use_current_simple(&simple, ALLOCATOR_STATIC_POOL_SIZE, allocator_mem_pool);
    if (allocman == NULL) {
        ZF_LOGF("Failed to create allocman");
    }
    allocman_make_vka(&vka, allocman);

    int error = sel4utils_bootstrap_vspace_with_bootinfo_leaky(&vspace,
                                                          &data, simple_get_pd(&simple),
                                                          &vka, info);
    if (error != 0) {
       PRINT_DBG("Failed to create virtual memory manager. Error: %d\n", error);
       return -1;
    }


    error = sel4platsupport_new_io_mapper(&vspace, &vka, &io_mapper);
    if (error != 0) {
        PRINT_DBG("Failed to create io mapper. Error: %d\n", error);
        return -1;
    }

    ps_io_ops_t io_ops;
    error = sel4platsupport_new_io_ops(&vspace, &vka, &simple, &io_ops);
    if (error != 0) {
        PRINT_DBG("Failed to create io ops. Error: %d\n", error);
        return -1;
    }

    ps_io_port_ops_t port_ops;
    int error = sel4platsupport_get_io_port_ops(&port_ops, &simple, &vka);
    if (error != 0) {
      PRINT_DBG("Failed to find io port ops. Error: %d\n", error);
      return -1;
    }

    printf("Start scannning\n");

    libpci_scan(port_ops);
    PRINT_DBG("Found %u devices\n", libpci_num_devices);
    for (uint32_t i = 0; i < libpci_num_devices; ++i) {
      PRINT_DBG("PCI device %u. Vendor id: %x. Device id: %x\n",
          i, libpci_device_list[i].vendor_id, libpci_device_list[i].device_id);
    }

    libpci_device_t* virtio_net_pci = libpci_find_device(0x1af4, 0x1000);
    if (!virtio_net_pci) {
      PRINT_DBG("Failed to find the virtio_net_pci device\n");
      // return -1;
    }else{
    // libpci_device_iocfg_debug_print(&virtio_net_pci->cfg,true);
        PRINT_DBG("Found virtio_net_pci device\n");
        libpci_device_iocfg_debug_print(&virtio_net_pci->cfg,false);
    }


    //Now what?

    unsigned long phys = 0x8000000; //what physical address to map?
    void *mmio_ptr = ps_io_map(&io_mapper, phys, 4096, 0, PS_MEM_NORMAL);
    memset(ptr, 0, 4096);
    if (mmio_ptr == NULL) {
        PRINT_DBG("Failed to map phys addr. Error: %p\n", ptr);
        return -1;
    }

    ethif_virtio_pci_config_t me_config;
    me_config.mmio_base = mmio_ptr; //is this correct?
    //me_config.io_base = ?

我读了很多关于 sel4 内核的文章，但我对 sel4 微内核（和 Linux 内核）的大多数概念仍然很陌生，所以我非常感谢任何提示和建议。我通常使用嵌入式、微控制器和更多“裸机”平台，想学习一些新的东西，但现在很多东西都很混乱。

4

0 回答 0