sdfgen 0.16.1__cp311-cp311-macosx_13_0_x86_64.whl → 0.17.0__cp311-cp311-macosx_13_0_x86_64.whl

sdfgen/module.py

@@ -7,6 +7,7 @@ from ctypes import (
 from typing import Optional, List, Tuple
 from enum import IntEnum
 
+
 class SddfStatus(IntEnum):
     OK = 0,
     DUPLICATE_CLIENT = 1,
@@ -14,6 +15,7 @@ class SddfStatus(IntEnum):
     NET_DUPLICATE_COPIER = 100,
     NET_DUPLICATE_MAC_ADDR = 101,
 
+
 # TOOD: double check
 MapPermsType = c_uint32
 
@@ -196,15 +198,32 @@ libsdfgen.sdfgen_sddf_gpu_serialise_config.restype = c_bool
 libsdfgen.sdfgen_sddf_gpu_serialise_config.argtypes = [c_void_p, c_char_p]
 
 libsdfgen.sdfgen_vmm.restype = c_void_p
-libsdfgen.sdfgen_vmm.argtypes = [c_void_p, c_void_p, c_void_p, c_void_p, c_uint64, c_bool]
+libsdfgen.sdfgen_vmm.argtypes = [
+    c_void_p,
+    c_void_p,
+    c_void_p,
+    c_void_p,
+    c_uint64,
+    c_bool
+]
 libsdfgen.sdfgen_vmm_add_passthrough_device.restype = c_bool
-libsdfgen.sdfgen_vmm_add_passthrough_device.argtypes = [c_void_p, c_char_p, c_void_p, POINTER(c_uint8), c_uint8]
+libsdfgen.sdfgen_vmm_add_passthrough_device.argtypes = [
+    c_void_p,
+    c_char_p,
+    c_void_p,
+    POINTER(c_uint8),
+    c_uint8,
+    POINTER(c_uint8),
+    c_uint8
+]
 libsdfgen.sdfgen_vmm_add_passthrough_irq.restype = c_bool
 libsdfgen.sdfgen_vmm_add_passthrough_irq.argtypes = [c_void_p, c_void_p]
 libsdfgen.sdfgen_vmm_add_virtio_mmio_console.restype = c_bool
 libsdfgen.sdfgen_vmm_add_virtio_mmio_console.argtypes = [c_void_p, c_void_p, c_void_p]
 libsdfgen.sdfgen_vmm_add_virtio_mmio_blk.restype = c_bool
 libsdfgen.sdfgen_vmm_add_virtio_mmio_blk.argtypes = [c_void_p, c_void_p, c_void_p, c_uint32]
+libsdfgen.sdfgen_vmm_add_virtio_mmio_net.restype = c_bool
+libsdfgen.sdfgen_vmm_add_virtio_mmio_net.argtypes = [c_void_p, c_void_p, c_void_p, c_void_p, c_char_p]
 libsdfgen.sdfgen_vmm_connect.restype = c_bool
 libsdfgen.sdfgen_vmm_connect.argtypes = [c_void_p]
 libsdfgen.sdfgen_vmm_serialise_config.restype = c_bool
@@ -217,7 +236,18 @@ libsdfgen.sdfgen_lionsos_fs_fat_connect.argtypes = [c_void_p]
 libsdfgen.sdfgen_lionsos_fs_fat_serialise_config.restype = c_bool
 libsdfgen.sdfgen_lionsos_fs_fat_serialise_config.argtypes = [c_void_p, c_char_p]
 libsdfgen.sdfgen_lionsos_fs_nfs.restype = c_void_p
-libsdfgen.sdfgen_lionsos_fs_nfs.argtypes = [c_void_p, c_void_p, c_void_p, c_void_p, c_void_p, c_char_p, c_void_p, c_void_p, c_char_p, c_char_p]
+libsdfgen.sdfgen_lionsos_fs_nfs.argtypes = [
+    c_void_p,
+    c_void_p,
+    c_void_p,
+    c_void_p,
+    c_void_p,
+    c_char_p,
+    c_void_p,
+    c_void_p,
+    c_char_p,
+    c_char_p
+]
 libsdfgen.sdfgen_lionsos_fs_nfs_connect.restype = c_bool
 libsdfgen.sdfgen_lionsos_fs_nfs_connect.argtypes = [c_void_p]
 libsdfgen.sdfgen_lionsos_fs_nfs_serialise_config.restype = c_bool
@@ -230,6 +260,7 @@ libsdfgen.sdfgen_sddf_lwip_connect.argtypes = [c_void_p]
 libsdfgen.sdfgen_sddf_lwip_serialise_config.restype = c_bool
 libsdfgen.sdfgen_sddf_lwip_serialise_config.argtypes = [c_void_p, c_char_p]
 
+
 class DeviceTree:
     """
     This class exists to allow other layers to be generic to boards or architectures
@@ -367,7 +398,7 @@ class SystemDescription:
         def add_map(self, map: SystemDescription.Map):
             libsdfgen.sdfgen_pd_add_map(self._obj, map._obj)
 
-        def add_irq(self, map: SystemDescription.Irq) -> int:
+        def add_irq(self, irq: SystemDescription.Irq) -> int:
             return libsdfgen.sdfgen_pd_add_irq(self._obj, irq._obj)
 
         def set_virtual_machine(self, vm: SystemDescription.VirtualMachine):
@@ -381,8 +412,8 @@ class SystemDescription:
         def __repr__(self) -> str:
             return f"ProtectionDomain({self.name})"
 
-    # TODO: __del__ is more complicated for virtual machine since it may be owned by a protection domain
-    # meaning it would result in a double free
+    # TODO: __del__ is more complicated for virtual machine since it may be owned
+    # by a protection domain meaning it would result in a double free
     class VirtualMachine:
         _name: str
         _obj: c_void_p
@@ -713,7 +744,9 @@ class Sddf:
             :param mac_addr: must be unique to the Network system.
             """
             if mac_addr is not None and len(mac_addr) != 17:
-                raise Exception(f"invalid MAC address length for client '{client.name}', {mac_addr}")
+                raise Exception(
+                    f"invalid MAC address length for client '{client.name}', {mac_addr}"
+                )
 
             c_mac_addr = c_char_p(0)
             if mac_addr is not None:
@@ -818,45 +851,66 @@ class Sddf:
 
         def __del__(self):
             libsdfgen.sdfgen_sddf_gpu_destroy(self._obj)
-    
+
     class Lwip:
         _obj: c_void_p
 
         def __init__(
             self,
             sdf: SystemDescription,
-            net: Net,
-            pd: ProtectionDomain
+            net: Sddf.Net,
+            pd: SystemDescription.ProtectionDomain
         ) -> None:
             self._obj = libsdfgen.sdfgen_sddf_lwip(sdf._obj, net._obj, pd._obj)
-        
+
         def connect(self) -> bool:
             return libsdfgen.sdfgen_sddf_lwip_connect(self._obj)
-        
+
         def serialise_config(self, output_dir: str) -> bool:
             c_output_dir = c_char_p(output_dir.encode("utf-8"))
             return libsdfgen.sdfgen_sddf_lwip_serialise_config(self._obj, c_output_dir)
 
+
 class Vmm:
     _obj: c_void_p
 
     def __init__(
         self,
         sdf: SystemDescription,
-        vmm: ProtectionDomain,
-        vm: VirtualMachine,
+        vmm: SystemDescription.ProtectionDomain,
+        vm: SystemDescription.VirtualMachine,
         dtb: DeviceTree,
         *,
-        one_to_one_ram: bool=False,
+        one_to_one_ram: bool = False,
     ):
         self._obj = libsdfgen.sdfgen_vmm(sdf._obj, vmm._obj, vm._obj, dtb._obj, dtb.size, one_to_one_ram)
 
-    def add_passthrough_device(self, name: str, device: DeviceTree.Node, *, irqs: List[int]=[]):
+    def add_passthrough_device(
+        self,
+        name: str,
+        device: DeviceTree.Node,
+        *,
+        regions: Optional[List[int]] = None,
+        irqs: Optional[List[int]] = None
+    ):
         c_name = c_char_p(name.encode("utf-8"))
-        c_irqs = (c_uint8 * len(irqs))(*irqs)
-        return libsdfgen.sdfgen_vmm_add_passthrough_device(self._obj, c_name, device._obj, cast(c_irqs, POINTER(c_uint8)), len(irqs))
-
-    def add_passthrough_irq(self, irq: Irq):
+        if regions:
+            c_regions = cast((c_uint8 * len(regions))(*regions), POINTER(c_uint8))
+            regions_len = len(c_regions)
+        else:
+            c_regions = None
+            regions_len = 0
+
+        if irqs:
+            c_irqs = cast((c_uint8 * len(irqs))(*irqs), POINTER(c_uint8))
+            irqs_len = len(c_irqs)
+        else:
+            c_irqs = None
+            irqs_len = 0
+
+        return libsdfgen.sdfgen_vmm_add_passthrough_device(self._obj, c_name, device._obj, c_regions, regions_len, c_irqs, irqs_len)
+
+    def add_passthrough_irq(self, irq: SystemDescription.Irq):
         return libsdfgen.sdfgen_vmm_add_passthrough_irq(self._obj, irq._obj)
 
     def add_virtio_mmio_console(self, device: DeviceTree.Node, serial: Sddf.Serial):
@@ -865,8 +919,24 @@ class Vmm:
     def add_virtio_mmio_blk(self, device: DeviceTree.Node, blk: Sddf.Blk, *, partition: int):
         return libsdfgen.sdfgen_vmm_add_virtio_mmio_blk(self._obj, device._obj, blk._obj, partition)
 
-    # def add_virtio_net(self, device: DeviceTree.Node, net: Sddf.Net, *, copier: ProtectionDomain=None):
-        # return libsdfgen.sdfgen_vmm_add_virtio_blk(self._obj, device._obj, net._obj, partition)
+    def add_virtio_mmio_net(
+        self,
+        device: DeviceTree.Node,
+        net: Sddf.Net,
+        copier: SystemDescription.ProtectionDomain,
+        *,
+        mac_addr: Optional[str] = None
+    ):
+        if mac_addr is not None and len(mac_addr) != 17:
+            raise Exception(
+                f"invalid MAC address length for '{mac_addr}'"
+            )
+
+        c_mac_addr = c_char_p(0)
+        if mac_addr is not None:
+            c_mac_addr = c_char_p(mac_addr.encode("utf-8"))
+
+        return libsdfgen.sdfgen_vmm_add_virtio_mmio_net(self._obj, device._obj, net._obj, copier._obj, c_mac_addr)
 
     def connect(self) -> bool:
         return libsdfgen.sdfgen_vmm_connect(self._obj)
@@ -918,7 +988,9 @@ class LionsOs:
                 export_path: str,
             ):
                 if mac_addr is not None and len(mac_addr) != 17:
-                    raise Exception(f"invalid MAC address length for client '{client.name}', {mac_addr}")
+                    raise Exception(
+                        f"invalid MAC address length for client '{client.name}', {mac_addr}"
+                    )
 
                 c_mac_addr = c_char_p(0)
                 if mac_addr is not None:
@@ -928,7 +1000,18 @@ class LionsOs:
                 c_server = c_char_p(server.encode("utf-8"))
                 c_export_path = c_char_p(export_path.encode("utf-8"))
 
-                self._obj = libsdfgen.sdfgen_lionsos_fs_nfs(sdf._obj, fs._obj, client._obj, net._obj, net_copier._obj, c_mac_addr, serial._obj, timer._obj, c_server, c_export_path)
+                self._obj = libsdfgen.sdfgen_lionsos_fs_nfs(
+                    sdf._obj,
+                    fs._obj,
+                    client._obj,
+                    net._obj,
+                    net_copier._obj,
+                    c_mac_addr,
+                    serial._obj,
+                    timer._obj,
+                    c_server,
+                    c_export_path
+                )
 
             def connect(self) -> bool:
                 return libsdfgen.sdfgen_lionsos_fs_nfs_connect(self._obj)

{sdfgen-0.16.1.dist-info → sdfgen-0.17.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: sdfgen
-Version: 0.16.1
+Version: 0.17.0
 Summary: Automating the creation of Microkit System Description Files (SDF)
 Home-page: https://github.com/au-ts/microkit_sdf_gen
 Description-Content-Type: text/markdown
@@ -24,11 +24,13 @@ Microkit-based systems.
 
 The sdfgen tooling (name temporary) contains libraries for programmatically
 creating:
+
 * Microkit System Description Files (SDF)
 * systems using the seL4 Device Driver Framework (sDDF)
 * systems using LionsOS
 
 It has first-class support for use in the following languages:
+
 * C
 * Python
 * Zig
@@ -47,7 +49,7 @@ Pre-built archives of the C library are available in each
 
 ### Dependencies
 
-* Zig (`0.14.0-dev.2079+ba2d00663` or higher)
+* Zig (`0.14.0-dev.3050+d72f3d353` or higher)
   * See https://ziglang.org/download/, until 0.14.0 is released we rely on a
     master version of Zig. Once 0.14.0 is released (most likely Feb'25) we can
     pin to that release.

sdfgen-0.17.0.dist-info/RECORD

@@ -0,0 +1,11 @@
+csdfgen.cpython-311-darwin.so,sha256=0TGnLKreuSQowk7ECX0v33eSyj0rekDOxZ2JZrTBNYE,758684
+libcsdfgen.0.17.0.dylib,sha256=0TGnLKreuSQowk7ECX0v33eSyj0rekDOxZ2JZrTBNYE,758684
+libcsdfgen.0.dylib,sha256=0TGnLKreuSQowk7ECX0v33eSyj0rekDOxZ2JZrTBNYE,758684
+libcsdfgen.dylib,sha256=0TGnLKreuSQowk7ECX0v33eSyj0rekDOxZ2JZrTBNYE,758684
+sdfgen/__init__.py,sha256=_d7GGV8GhadIAEYP8uiJlez0yKtXnHMHdRkRzVMKS3c,143
+sdfgen/module.py,sha256=43JZjSFFzMDoYd0r_O26HFVsfFyzgh1r51bkbzkVA20,37296
+sdfgen/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+sdfgen-0.17.0.dist-info/METADATA,sha256=pofeKoD0ElzkpumR1NqPDjFJsAjP9WZmmPfhX3QdGeQ,4654
+sdfgen-0.17.0.dist-info/WHEEL,sha256=38gKh4ciura0Qr0EhFttwRGApTkeI2HunUgfZoFA5_0,110
+sdfgen-0.17.0.dist-info/top_level.txt,sha256=M3gUW9vTMij10peQKgv1Qs0jZkdsk_PG0REFxuv6jNY,15
+sdfgen-0.17.0.dist-info/RECORD,,

sdfgen-0.16.1.dist-info/RECORD

@@ -1,11 +0,0 @@
-csdfgen.cpython-311-darwin.so,sha256=gJEoFKxSGhQYdhotcliAgJ3x3zS3AyvFW8HftZNFAns,784068
-libcsdfgen.0.16.1.dylib,sha256=gJEoFKxSGhQYdhotcliAgJ3x3zS3AyvFW8HftZNFAns,784068
-libcsdfgen.0.dylib,sha256=gJEoFKxSGhQYdhotcliAgJ3x3zS3AyvFW8HftZNFAns,784068
-libcsdfgen.dylib,sha256=gJEoFKxSGhQYdhotcliAgJ3x3zS3AyvFW8HftZNFAns,784068
-sdfgen/__init__.py,sha256=_d7GGV8GhadIAEYP8uiJlez0yKtXnHMHdRkRzVMKS3c,143
-sdfgen/module.py,sha256=cIv7e3k3RUn4JY9oLzK2VJowjp29dwp9bevvOiwnOu4,35769
-sdfgen/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-sdfgen-0.16.1.dist-info/METADATA,sha256=8dDOff9zrETLBN9nMKnXf4fYVtUZQ04YQ4l0lNMxWoI,4652
-sdfgen-0.16.1.dist-info/WHEEL,sha256=38gKh4ciura0Qr0EhFttwRGApTkeI2HunUgfZoFA5_0,110
-sdfgen-0.16.1.dist-info/top_level.txt,sha256=M3gUW9vTMij10peQKgv1Qs0jZkdsk_PG0REFxuv6jNY,15
-sdfgen-0.16.1.dist-info/RECORD,,