pok icon indicating copy to clipboard operation
pok copied to clipboard

POK kernel. Safe and secure for safety-critical systems.

Results 29 pok issues
Sort by recently updated
recently updated
newest added

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. ![2019-01-04 17-02-57](https://user-images.githubusercontent.com/40290447/50680461-c0cc2100-1042-11e9-9abf-4f6b51a7a1c8.png)

First, thank you for offer this RTOS, appreciate it. In entry.S file, we use ![_20180830171714](https://user-images.githubusercontent.com/10723135/44842484-92939a80-ac78-11e8-9eab-faa6a9def664.png) ![_20180830171714](https://user-images.githubusercontent.com/10723135/44842534-bb1b9480-ac78-11e8-9792-265e26869a23.png) 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 - [ ]...

[![Mend Renovate](https://app.renovatebot.com/images/banner.svg)](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` | [![age](https://developer.mend.io/api/mc/badges/age/pypi/avocado-framework/106.0?slim=true)](https://docs.renovatebot.com/merge-confidence/)...

![image](https://github.com/pok-kernel/pok/assets/59829229/a5c5d470-f385-4fa2-b245-b47f0618a61b) I wanna ask if the ocarina has broken?