sdfgen 0.22.0__cp310-cp310-musllinux_1_2_x86_64.whl → 0.23.0__cp310-cp310-musllinux_1_2_x86_64.whl

sdfgen/module.py

@@ -103,6 +103,10 @@ libsdfgen.sdfgen_vm_destroy.argtypes = [c_void_p]
 
 libsdfgen.sdfgen_vm_set_priority.restype = None
 libsdfgen.sdfgen_vm_set_priority.argtypes = [c_void_p, c_uint8]
+libsdfgen.sdfgen_vm_set_budget.restype = None
+libsdfgen.sdfgen_vm_set_budget.argtypes = [c_void_p, c_uint32]
+libsdfgen.sdfgen_vm_set_period.restype = None
+libsdfgen.sdfgen_vm_set_period.argtypes = [c_void_p, c_uint32]
 
 libsdfgen.sdfgen_vm_add_map.restype = None
 libsdfgen.sdfgen_vm_add_map.argtypes = [c_void_p, c_void_p]
@@ -500,7 +504,14 @@ class SystemDescription:
             def __init__(self, *, id: int, cpu: Optional[int] = None):
                 self._obj = libsdfgen.sdfgen_vm_vcpu_create(id, ffi_uint8_ptr(cpu))
 
-        def __init__(self, name: str, vcpus: List[Vcpu], priority: Optional[int] = None):
+        def __init__(
+            self,
+            name: str,
+            vcpus: List[Vcpu],
+            priority: Optional[int] = None,
+            budget: Optional[int] = None,
+            period: Optional[int] = None,
+        ):
             vcpus_tuple: Tuple[c_void_p] = tuple([vcpu._obj for vcpu in vcpus])
             c_vcpus = (c_void_p * len(vcpus))(*vcpus_tuple)
             c_name = c_char_p(name.encode("utf-8"))
@@ -510,6 +521,10 @@ class SystemDescription:
                 raise Exception("failed to create VM")
             if priority is not None:
                 libsdfgen.sdfgen_vm_set_priority(self._obj, priority)
+            if budget is not None:
+                libsdfgen.sdfgen_vm_set_budget(self._obj, budget)
+            if period is not None:
+                libsdfgen.sdfgen_vm_set_period(self._obj, period)
 
         @property
         def name(self) -> str:

{sdfgen-0.22.0.dist-info → sdfgen-0.23.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: sdfgen
-Version: 0.22.0
+Version: 0.23.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

sdfgen-0.23.0.dist-info/RECORD

@@ -0,0 +1,11 @@
+libcsdfgen.so,sha256=HpISY_VaewroQgxbSCm2VyKOmndMdWDh1OZesTsvppA,5406080
+libcsdfgen.so.0.23.0,sha256=HpISY_VaewroQgxbSCm2VyKOmndMdWDh1OZesTsvppA,5406080
+csdfgen.cpython-310-x86_64-linux-gnu.so,sha256=HpISY_VaewroQgxbSCm2VyKOmndMdWDh1OZesTsvppA,5406080
+libcsdfgen.so.0,sha256=HpISY_VaewroQgxbSCm2VyKOmndMdWDh1OZesTsvppA,5406080
+sdfgen/module.py,sha256=cSiUZFdti5PtaqWLWA2sEmtkqgE8Bf0qzPNDW2dcfZs,45021
+sdfgen/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+sdfgen/__init__.py,sha256=_d7GGV8GhadIAEYP8uiJlez0yKtXnHMHdRkRzVMKS3c,143
+sdfgen-0.23.0.dist-info/WHEEL,sha256=G6WAJh_GXUMYPkzQt82j5xHS9Nx3k6AYK5BZjp4Pr1U,112
+sdfgen-0.23.0.dist-info/RECORD,,
+sdfgen-0.23.0.dist-info/top_level.txt,sha256=M3gUW9vTMij10peQKgv1Qs0jZkdsk_PG0REFxuv6jNY,15
+sdfgen-0.23.0.dist-info/METADATA,sha256=jdgZtxzPgHWJsNMvEK-EA8wttxf4qSl_L1acqGeSgbo,4458

sdfgen-0.22.0.dist-info/RECORD

@@ -1,11 +0,0 @@
-libcsdfgen.so,sha256=ijovJpWHhZ63NZlOWxaLsgn77k8S_30z84UIC5qOBlE,5404696
-libcsdfgen.so.0.22.0,sha256=ijovJpWHhZ63NZlOWxaLsgn77k8S_30z84UIC5qOBlE,5404696
-csdfgen.cpython-310-x86_64-linux-gnu.so,sha256=ijovJpWHhZ63NZlOWxaLsgn77k8S_30z84UIC5qOBlE,5404696
-libcsdfgen.so.0,sha256=ijovJpWHhZ63NZlOWxaLsgn77k8S_30z84UIC5qOBlE,5404696
-sdfgen-0.22.0.dist-info/WHEEL,sha256=G6WAJh_GXUMYPkzQt82j5xHS9Nx3k6AYK5BZjp4Pr1U,112
-sdfgen-0.22.0.dist-info/RECORD,,
-sdfgen-0.22.0.dist-info/top_level.txt,sha256=M3gUW9vTMij10peQKgv1Qs0jZkdsk_PG0REFxuv6jNY,15
-sdfgen-0.22.0.dist-info/METADATA,sha256=phqKxupxisTZjheW8ucL9qT4e6Z_K-Rj-n_TRX7WgoQ,4458
-sdfgen/module.py,sha256=muoa7d4_LCOESh1DjxiQ1m5w9W-J-JtdwuhcJeWSljE,44458
-sdfgen/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-sdfgen/__init__.py,sha256=_d7GGV8GhadIAEYP8uiJlez0yKtXnHMHdRkRzVMKS3c,143