hi

I am  new to camkes VM on x86. I want to connect the guest to the host via
the ethernet network. and I used this (
https://docs.sel4.systems/projects/camkes-vm/) tutorial to create
pass-through in minimal example x86. run in qemu on ubuntu 17.10. but the
guest os doesn't create an ethernet interface. I also tested zmq example

this is qemu options:
qemu-system-x86_64 -machine q35,accel=kvm,kernel-irqchip=split -cpu
Nehalem,+vme,+pdpe1gb,-xsave,-xsaveopt,-xsavec,-fsgsbase,-invpcid,enforce,+vmx
-nographic -serial mon:stdio -m size=2G -enable-kvm -net nic,model=e1000
-net tap,script=no,ifname=tap0 -kernel images/kernel-ia32-pc99 -initrd
images/capdl-loader-image-ia32-pc99


and minimal.camkes configs:

    configuration {

        VM_CONFIGURATION_DEF()
        VM_PER_VM_CONFIG_DEF(0)

        vm0.simple_untyped23_pool = 20;
        vm0.heap_size = 0x2000000;
        vm0.guest_ram_mb = 128;
        vm0.kernel_cmdline = VM_GUEST_CMDLINE;
        vm0.kernel_image = "bzimage";
        vm0.kernel_relocs = "bzimage";
        vm0.initrd_image = "rootfs.cpio";
        vm0.iospace_domain = 0x0f;

        vm0_config.pci_devices_iospace = 1;

        vm0_config.ioports = [
            {"start":0x4080, "end":0x4090, "pci_device":0x1f,
"name":"SATA"},
            {"start":0x4090, "end":0x40a0, "pci_device":0x1f,
"name":"SATA"},
            {"start":0x40b0, "end":0x40b8, "pci_device":0x1f,
"name":"SATA"},
            {"start":0x40b8, "end":0x40c0, "pci_device":0x1f,
"name":"SATA"},
            {"start":0x40c8, "end":0x40cc, "pci_device":0x1f,
"name":"SATA"},
            {"start":0x40cc, "end":0x40d0, "pci_device":0x1f,
"name":"SATA"},
            {"start":0x3000, "end":0x3020, "pci_device":0,
"name":"Ethernet5"},
        ];

        vm0_config.pci_devices = [
            {
                "name":"SATA",
                "bus":0,
                "dev":0x1f,
                "fun":2,
                "irq":"SATA",
                "memory":[],
            },

            {
                "name":"Ethernet5",
                "bus":5,
                "dev":0,
                "fun":0,
                "irq":"Ethernet5",
                "memory":[
                    {"paddr":0xc0500000, "size":0x20000, "page_bits":12},
                    {"paddr":0xc0520000, "size":0x4000, "page_bits":12},
                ],
            },
        ];

        vm0_config.irqs = [
            {"name":"SATA", "source":19, "level_trig":1, "active_low":1,
"dest":11},
            {"name":"Ethernet5", "source":0x11, "level_trig":1,
"active_low":1, "dest":10},
        ];
    }

thanks
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to