pok
pok copied to clipboard
POK kernel. Safe and secure for safety-critical systems.
Hi. do you have a plan for ARM supported? and start a project for autosar adaptive ?
When I run Makefile for the examples arinc653-blackboard and arinc653-buffer, I get below messages: /usr/local/src/pok/libpok/libpok.a(core.lo): In function `pok_event_wait': /usr/local/src/pok/libpok/core/eventwait.c:32: undefined reference to `pok_time_gettick' /usr/local/src/pok/libpok/libpok.a(arinc653.lo): In function `TIMED_WAIT': /usr/local/src/pok/libpok/arinc653/time.c:33: undefined reference...
After compiling the executable file of ppc, executing make run will not start normally, as shown in the figure below. 
First, thank you for offer this RTOS, appreciate it. In entry.S file, we use   Macro to set up trap handler. If a interrupt occur, code run to trap_prehandler,...
Sir @juli1 @yoogx @joelsherrill @Etienne13 @phipse I have been working with pok for the last two months.Its amazingly powerful OS but i have a small issue which i cannot resolve...
i have been trying to understand syscall.c and .h file and how you have implemented your system calls my question is if i want to add (( #include
suppose i want to add "stdio.h" into the single partition c code then i simply add it but the code searches for stdio.h in the libpok folder ok i gave...
This issue lists Renovate updates and detected dependencies. Read the [Dependency Dashboard](https://docs.renovatebot.com/key-concepts/dashboard/) docs to learn more.[View this repository on the Mend.io Web Portal](https://developer.mend.io/github/pok-kernel/pok). ## Config Migration Needed - [ ]...
[](https://renovatebot.com) This PR contains the following updates: | Package | Change | Age | Adoption | Passing | Confidence | |---|---|---|---|---|---| | [avocado-framework](https://avocado-framework.github.io/) | `==103.0` -> `==106.0` | [](https://docs.renovatebot.com/merge-confidence/)...
 I wanna ask if the ocarina has broken?