Stefan Jumarea

Hello! I can't seem to be able to reproduce the issue. I tried both using `kraft configure -m arm64 -p kvm` and selecting the platform and arch from the interactive...

You can find details on generating and using the GitHub access token [here](https://usoc21.unikraft.org/docs/sessions/01-baby-steps/#00-manual-kraft-installation). Also check out the [documentation](https://unikraft.org/docs/usage/init/) on creating and running an app with kraft. If you don't find...

> Is it fair to ask for the "getting started" guide to add in the sudo portions and pip3 installation step? > > I notice that the command **export UK_KRAFT_GITHUB_TOKEN=token...

From what I can see, you need to install `gcc`.

@mariamosn please also update your commit message and sign it off. You can find some guidelines [here](https://unikraft.org/docs/contributing/submitting-changes/#commits).

@mariamosn we also have declared a symbol for `__attribute__((nonnull))` [here](https://github.com/unikraft/unikraft/blob/staging/include/uk/essentials.h#L82). Please use that instead of the `__attribute__` construction.

The commit looks better now, but please use a message that just describes the changes, without referring an issue or any external links. You can look at the `unikraft` commits...

This was already solved by #314 and should be marked as superseded once that is merged.

> Actually, I am not an expert on time-related syscalls. @StefanJum While this make sense at the first sight, have you done any tests to verify that you return the...

> Thanks for putting together this additional information. Looking at the references, I think the patch makes sense and is fine smiley > > I am only wondering why this...