Jim Huang

- tickless compensation suggestion showed in tickless verification. (branch: [tickless-compensation](https://github.com/southernbear/f9-kernel/tree/tickless-compensation)) - Seek for possibility of utilizing ARM cycle counter for calculating tickless compensation - compensation utilizing cycle count is not...

Related: #11

After the evaluation, we plan to take the benchmark suite from [L4Ka::Pistachio](https://github.com/l4ka/pistachio) instead of the one from [mung](https://github.com/ksandstr/mung) for initial target.

This implies that the above change reverts all PendSV utilization introduced by @arcbbb

CI fails because of incorrect linkage.

@grapherd, there should be only one implementation providing `strcmp`: `kernel/lib/strcmp.c`. You would need appropriate declarations where user applications include `include/lib/string.h`

At present, we only have to implement a minimal set of libposix based on the existing directory user/lib . Codezero's libposix is just a reference. [OKL4](http://wiki.ok-labs.com/) implements [POSIX functionality](https://github.com/kungliet/okl4/tree/master/libs/posix) through...

As we discussed last week, we would like to implement partial APIs defined in [PSE51](http://www.opengroup.org/austin/papers/wp-apis.txt). PSE51 or POSIX Minimal has 287 APIs and is aimed at small embedded system, with...

[seL4](https://sel4.systems/) is released, and it utilizes [musl libc](http://www.musl-libc.org/) to provide POSIX thread routines. We can follow the steps how seL4 implements.

To @georgekang, can you explain how Fiasco/L4 + L4Re maniplates threading model?