ZeroKernel/zerokernel.manifest.json at main · ZeroBitsTech/ZeroKernel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
{
  "kernel": "ZeroKernel",
  "vendor": "ZeroBits",
  "tagline": "Small Bits. Solid Systems.",
  "runtime_version": "1.4.1",
  "abi_version": 2,
  "model": "Embedded Execution Runtime",
  "execution": {
    "scheduler": "cooperative",
    "blocking_allowed": false,
    "heap_usage_runtime": 0,
    "fixed_memory_footprint": true
  },
  "capacity": {
    "tasks": 8,
    "subscribers": 16,
    "typed_subscribers": 16,
    "event_queue": 16,
    "command_handlers": 8,
    "command_queue": 16,
    "work_queue": 8,
    "trace_entries": 16
  },
  "supervision": {
    "watchdog": true,
    "safe_mode": true,
    "kernel_state_model": true,
    "panic_handler": true,
    "execution_contract": true
  },
  "capabilities": {
    "task_scoped_requirements": true,
    "runtime_mask": true,
    "safe_mode_mask": true
  },
  "portability": {
    "arduino": true,
    "esp8266": true,
    "esp32": true,
    "rp2040": true,
    "stm32": true
  }
}