issues
search
pok-kernel
/
pok
POK kernel. Safe and secure for safety-critical systems.
https://pok-kernel.github.io/
BSD 2-Clause "Simplified" License
94
stars
61
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update dependency MarkupSafe to v3
#82
renovate[bot]
opened
1 month ago
0
Update avocado to v108 (major)
#81
renovate[bot]
closed
1 month ago
0
Use venv for tests
#80
samueltardieu
closed
1 month ago
0
Fix format
#79
samueltardieu
closed
1 month ago
0
Update dependency ubuntu to v24
#78
renovate[bot]
closed
1 month ago
0
Update dependency PyYAML to v6.0.2
#77
renovate[bot]
closed
2 months ago
0
Update dependency Jinja2 to v3.1.4 [SECURITY]
#76
renovate[bot]
closed
2 months ago
0
Update dependency Jinja2 to v3.1.4 [SECURITY] - autoclosed
#75
renovate[bot]
closed
3 months ago
0
Bump jinja2 from 3.1.3 to 3.1.4 in /misc
#74
dependabot[bot]
closed
2 months ago
1
Update dependency Jinja2 to v3.1.4 - autoclosed
#73
renovate[bot]
closed
6 months ago
0
Update avocado to v107 (major)
#72
renovate[bot]
closed
2 months ago
0
code generator have some problem?
#71
preychiken
opened
9 months ago
0
Make example mutexes-timed compile
#70
samueltardieu
closed
9 months ago
0
Rename obsolete constants
#69
samueltardieu
closed
9 months ago
0
Update Python dependencies
#68
samueltardieu
closed
9 months ago
0
Update avocado
#67
samueltardieu
closed
9 months ago
0
Fix style
#66
samueltardieu
closed
9 months ago
0
Update avocado to v103 (major) - autoclosed
#65
renovate[bot]
closed
9 months ago
0
Action Required: Fix Renovate Configuration
#64
renovate[bot]
closed
9 months ago
0
Mention Python3 explicitly
#63
samueltardieu
closed
9 months ago
0
Group avocado dependencies
#62
samueltardieu
closed
9 months ago
0
Update dependency ubuntu to v22 - autoclosed
#61
renovate[bot]
closed
9 months ago
0
Update dependency avocado-framework-plugin-varianter-yaml-to-mux to v103 - autoclosed
#60
renovate[bot]
closed
9 months ago
0
Update dependency avocado-framework-plugin-result-html to v103 - autoclosed
#59
renovate[bot]
closed
9 months ago
0
Update dependency avocado-framework to v103 - autoclosed
#58
renovate[bot]
closed
9 months ago
0
Update dependency PyYAML to v6
#57
renovate[bot]
closed
9 months ago
0
Update dependency MarkupSafe to v2.1.5
#56
renovate[bot]
closed
9 months ago
0
Update dependency Jinja2 to v3 - autoclosed
#55
renovate[bot]
closed
9 months ago
0
Update actions/checkout action to v4
#54
renovate[bot]
closed
9 months ago
0
Update dependency avocado-framework-plugin-varianter-yaml-to-mux to v82.2 - autoclosed
#53
renovate[bot]
closed
9 months ago
0
Update dependency avocado-framework-plugin-result-html to v82.2 - autoclosed
#52
renovate[bot]
closed
9 months ago
0
Update dependency avocado-framework-plugin-loader-yaml to v82.2 - autoclosed
#51
renovate[bot]
closed
9 months ago
0
Dependency Dashboard
#50
renovate[bot]
opened
10 months ago
0
Update dependency avocado-framework to v82.2 - autoclosed
#49
renovate[bot]
closed
9 months ago
0
Update dependency PyYAML to v5.4.1
#48
renovate[bot]
closed
9 months ago
0
Update headers for 2024
#47
samueltardieu
closed
10 months ago
0
Support non-FHS systems
#46
samueltardieu
closed
10 months ago
0
can not run example
#45
preychiken
closed
9 months ago
0
Bump jinja2 from 2.11.3 to 3.1.3 in /misc
#44
dependabot[bot]
closed
10 months ago
1
Ly
#43
lyxxn0414
closed
1 year ago
0
Driver support
#42
matteo463
opened
2 years ago
0
Does pok support ARM?
#41
wjhtinger
opened
2 years ago
0
Update year in headers
#40
samueltardieu
closed
2 years ago
0
Fix path for Windows
#39
Ureir
closed
2 years ago
0
Impossible to use this repository on Windows machines
#38
Ureir
closed
2 years ago
0
Userguide Documentation fails to compile.
#37
tfinnegan937
opened
2 years ago
2
fix arinc653-events and arinc653-errors example
#35
Etienne13
closed
3 years ago
0
update arinc653-blackboard, arinc653-buffer, and arinc653-queueing example to conform to AADL standard
#34
Etienne13
closed
3 years ago
0
from Master: update arinc653-queueing arinc653-blackboard and arinc653-buffer examples
#33
Etienne13
closed
3 years ago
0
Problem when makes the pok-main example arinc653-queueing
#32
hwd88
opened
3 years ago
3
Next