Checkpatch and other fixes to comply to coding conventions

Signed-off-by: Michalis Pappas <mich...

Clang's preprocessor seems to behave differently when computing an integer
based on undefined ma...

sys/prctl.h in nolibc is using UK_LIBC_SYSCALLS as guard.
This is not required, since the guard ...

The "sys/prctl.h" header is specific to "nolibc". Move it from
"lib/posix-process/include/" to "...

This is a small clean-up commit: it removes the unused targets `config`
and `%_defconfig`. Addit...

After commit f57ca0bbc402 ("plat/kvm/x86: Make zero page inaccessible"),
early accesses to unini...

The rule that copies the current `.config` to the build directory was
intended, among other thin...

This commit adds the minimum set of changes required for modern virtio
support.

Signed-off-by: ...

Our build system is still not able to re-trigger the compilation if only
the command line of a c...

According to the `UEFI` specifications, `AllocatePool()` is the safest
allocation method, howeve...

`posix_memalign` and `memalign`

To ensure that symbols such as malloc, calloc, and free are acc...

Introduce a new driver placeholder for Intel interrupt controllers.
Since the different generati...

Migrate PIC to drivers/ukintctlr/xpic. Move architectural definitions
to arch/.

Notice: Picking...

Changed the signature of paddr and vaddr range check to takes the
length of the range instead of...

This is also the correct implementation, e.g., maximum
possible 16-bit address is 0xFFFF, or `(1...

When we probe for available, valid GICC's, we only look for those
that are already online and in...

In order to preserve alignment among memory region descriptors, we
would strive to align every i...

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Michalis Pap...

linuxu uses it's own implementation of interrupt handling that until
now implemented the old `uk...

Update KVM setup to use the new uk_intctlr API. Update the config
to define HAVE_INTCTLR and ena...

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Michalis Pap...

Restructures the preprocess rules to put common dependencies in a single
place. The advantage is...

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Michalis Pap...

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Michalis Pap...

Assign the full IDT range to the IRQ allocator.

Notice: Picking individual commits in this PR w...

Change `"filesysytem (/)"` to `filesystem (/)"`.

Signed-off-by: Riya Bisht <hack1001infinity@gm...

Assign the entire SPI range to the IRQ allocator.

Notice: Picking individual commits in this PR...

This commit introduces the option to embed a gzipped version of the
configuration (`.config`) us...

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Marco Schlum...

After commit f57ca0bbc402 ("plat/kvm/x86: Make zero page inaccessible"),
UEFI builds would fail ...

Removes a previously registered interrupt handler.

Notice: Picking individual commits in this P...

Add `uk/intctlr/limits.h` with the maximum assignable IRQ value
for GIC.

Update GIC_IRQ_MAX to ...

The maximum interrupt number depends on the interrupt controller
and potentially also its versio...

The `configupdate` script tells the user when `make properclean` should be
called. Since compila...

The method of interrupt acknowledgment varies between interrupt
controllers. On GIC interupts ar...

If the early code did everything right when setting up the memory
regions, then no free memory r...

Not that the GIC driver implements the uk_intctlr API, remove the
implementation of the old intc...

For each `.o` library, additional dependencies that trigger relinking
can be specified in `Makef...

This commit introduces the first version of a tool that reads and parses
the library information...

Now that the xPIC drivers provides a unified IRQ handling,
remove explicit APIC IRQ acknowledgme...

Add definition of VIRTIO_CONFIG_STATUS_FEATURES_OK in anticipation of
support for modern virtio....

Introduced a common API for checking a single vaddr/paddr,
where each each architecture may impl...

The interpretation of the `interrupts` property in the fdt is
controller-specific [1]. As such, ...

This commit adds the minimum set of changes required for modern virtio
support.

Signed-off-by: ...

Deprecate `gic_init` in favor of `uk_intctlr_probe()`. Migrate the
`gic` global from the soon to...

This commit adds support for passing virtio-mmio devices via the
command-line.

The probing func...

In order to make the time format consistent for all host localizations
and systems, we use the I...

Until now the x86_64 API has only been providing port-based
access to the device's config space....

It may happen that depending on timing there is no new data in the
virtio queue, however, an IRQ...

Due to virtio using separate data and control paths, it is normal for
the queue to be observed a...

To avoid having the memory region map polluted with descriptors of
length 0, make sure that they...

This commits removes the unused `$(DATE)` variable from the build
system. Build time and date is...

This allows the drivers/device to specify the other side should
send a notification. This is req...

Add an IRQ allocation function that will automatically assign
from a pool of free IRQs.

Notice:...

Restructures the build rules to put common dependencies in a single place.
The advantage is that...

Migrate the implementation of the ukplat_irq API from `plat/kvm/irq.c`
to `lib/ukintctlr/`. The ...

Implement a basic printing function for memory regions.
`ukplat_memregion_print_desc`'s implemen...

Notice: Picking individual commits in this PR will break the build.

Signed-off-by: Michalis Pap...

The new uk_intctlr API defines common interrupt controller driver ops,
along with a set of funct...

When building without assertions some arguments and variables
are not used. This commit adds res...

Since `multiboot` demands that its corresponding header be placed in the
first 8192 bytes and `G...

Now that we use `elf64_to_32.py` for building the `multiboot` header as
well and `elf64_to_32.py...

Previously ramfs would eagerly free filesystem nodes when deleting a
file regardless whether the...

When setting `V=0`, we expect the verbosity level to be reduced, and
only the build output to be...

This causes the PCI driver to not initialize on certain systems.
The check should uses `==` inst...

Allow having the same relocation mechanism of the SIPI vector symbols
be used regardless of whet...

Since `start16` related symbols have a relocation mechanism similar,
but entirely independent fr...

This attribute allows to opt-out of the standard C strict aliasing rule.

Signed-off-by: Marco S...

This code was imported and this occurrence of the type was not adjusted when
the type name chang...

Although `checkpatch.pl` checks for commit message lines to not be
longer than `75` characters, ...

This allows network device to advertise support for TSO on IPv4 and
clients to send large packet...

These structures allow introspection of network packets for drivers.

Signed-off-by: Marco Schlu...

Previously ukcpio did not honor the `mtime` field of cpio sections,
leaving extracted files time...

When the host indicates support for TSO, enable it and accept large
packets when the correspondi...

The futimes and lutimes functions are defined with a `struct timeval [2]`
argument. They are how...

For AArch64, `ukarch_rctx_stackpush` may add padding to make sure
the `sp` register is aligned t...

Previously if `fdalloc` failed to allocate a file descriptor, the
function would exit without de...

This change fixes incorrect return of error codes in the pipe module of
vfscore. Specifically:
-...

With `savedefconfig`, KConfig creates a file that contains only options
that are different from ...

Commit c11dceaa9698 ("kconfig: Determine the default arch from CC")
introduced the automatic sel...

The `savedefconfig` target is not saving a new configuration (`.config`)
but it derives a minima...

This change removes the use of heap memory for computing the extraction
path, eliminating a call...

This change replaces calls to open, close, write, chmod, and mkdir with
their raw Unikraft sysca...

This change adds Kconfig options to select the default UID, GID,
username, and groupname that Un...

Previously ukmmap's `mmap()` would return NULL for unimplemented cases.
However, no calling code...

Some applications (e.g. python) will use `ioctl()` calls to check if an
interactive interpretor ...

The macro violates the strict aliasing rules. By using the newly introduced
may_alias attribute ...

Currently `9pfs` returns 0 for any `ioctl` request (except for
`TIOCGWINSZ`), which leads to mul...

In the current form they impose very strong synchronization requirements,
making it impossible t...

The virtio drivers have both direct and indirect dependencies
on `uk/plat/common` headers.

Add ...

The pci driver has various dependencies on headers in `uk/plat/common`.
Add UK_PLAT_COMMON_BASE ...

The platform bus driver depeds on `uk/plat/common/cpu.h`. Add
UK_PLAT_COMMON_BASE to the library...

The script `mkukimg` can only be run on a Linux host. This commit adds a
check that stops execut...

This commit changes the scripts under `support/scripts` and
`support/build` so that they use the...

For future references this commit adds command variables for `readlink`
and `dirname`. On Darwin...

The build system depends on the GNU version of `grep`. Since this is
typically installed with `g...

The standard `cpio` tool available under Darwin is the equivalent of the
`bsdcpio` tool availabl...

This change adds the `print-loc` Makefile target which (fairly hackishly)
computes and prints st...

KConfig relies on GNU bison and does not work with the classical yacc.
While most Linux distribu...

vfscore contained internal calls to the dup2 syscall, which is not
universally provided on all a...