diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2024-01-20 14:54:34 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-02-10 22:59:52 +0100 |
| commit | b0a5c0742f7e5cf0df4c0f20dbbb720df1311a70 (patch) | |
| tree | 1de240307dfa762f3878573d5a4a4bcaf746c5a0 /gnu/services | |
| parent | 7a4f585ae1875b1bee29e1f106c7af5ca0cd057d (diff) | |
vm: Add ‘cpu-count’ field to <virtual-machine>.
* gnu/system/vm.scm (<virtual-machine>)[cpu-count]: New field.
(virtual-machine-compiler): Honor it.
Change-Id: I907a89365f32ac7a9981c4ae5f59cf6eb199c3cc
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions