pok

pok copied to clipboard

Has anyone tried to develop new networking drivers for POK?

matteo463

just like aarch64?

wjhtinger

With version 91.0 Avocado have switched the default runner from an implementation named internally runner to a new architecture, that allows parallel execution of tests, called nrunner. Please, find more...

ana

Can't run examples

7

Hi! I've installed POK on Ubuntu 18.04.4 and try to run the examples. Unfortunately I get an error when I try to run any example except of "semaphores": olga@olga-H270M-DS3H:~/pok/examples/partitions-scheduling$ make...

syrba4eva

Userguide Documentation fails to compile.

2

Upon running "Make", I receive the following set of errors: `rm -rf include-libpok mkdir -p include-libpok include-libpok/core include-libpok/arinc653 include-libpok/middleware include-libpok/libc include-libpok/protocols for v in arch.h errno.h libm.h core/allocator.h core/thread.h core/error.h...

tfinnegan937

Problem when makes the pok-main example arinc653-queueing

3

When runs the command "ocarina -aadlv2 -f -i model.aadl", hit the following problem: "model.aadl:20:06: ARINC653 (identifier) is not a package or a property set visible or existing Cannot analyze AADL...

hwd88

install ocarina failed with ./misc/get_ocarina.sh

6

Hi! I try to run pok on Ubuntu,but using ./misc/get_ocarina.sh can't install ocarina, as the website of 'http://download.tuxfamily.org/taste/snapshots/binaries/ocarina/' doesn't exist

leonhxx

It seems all these headers were pulled directly from the ARINC Spec. The ARINC header was not maintained throughout these files as they were split up. In addition the statement...

c-grant

AADL models are not syntaxically correct, please fix them !

19

this happens when I run Makefile there is a syntax error in your code can you help me on this ? this happens for arnic653-events and arnic653-queueing and i am...

AtirChaudary

AADL POK::Major_Frame;Slots;Slots_Allocation Could't resolve reference to property definition

wenting83