Adapt Xen's implementation of uk_intctlr_plat_prob() to its updated
interface. The function now ...

Adapt the call to uk_intctlr_plat_probe() to its updated interface.
The GIC driver now passes a ...

Update the interface of uk_intctlr_plat_probe() to receive a pointer
to a single driver-defined ...

We do not have time adjustments so the clocks are equivalent.

Signed-off-by: Marco Schlumpp <ma...

During early 64-bit long mode boot entry we check for XSAVE, AVX and
FSGSBASE. Make sure that we...

Some software checks for the linux version number in the release string.
Just including a '5' at...

Signed-off-by: Razvan Deaconescu <[email protected]>
Signed-off-by: Alexander Jung <alex@unikr...

The functions `uk_nextarg()` and `uk_netxarg_r()` are helper functions
to process C-strings cont...

This commit makes the automatic unmounting of filesystems during shutdown
independent of the aut...

This commit introduces a mount option for the simulated `extract`
filesystem driver. It can be s...

This commit introduces the Unikraft fstab options `ifinitrd0` and
`ifnotinitrd0`. These options ...

Unfortunately, `<uk/list.h>` has a dependency to `lib/ukatomic`. Because
we use `<uk/list.h>` in...

This commit removes the stub for unmounting devfs during shutdown because
1) this is covered by ...

`uk_strnkeycmp()` is a helper function for parsing key-value pairs
that are represented in a C-s...

Generally, unhandled page fault messages are very helpful to have.
Therefore, make it so that th...

There is no explicit message in case the guard page of a stack VMA is
hit, therefore add one. Th...

After this was enabled, a merge faile to execute. Disable this back
until further notice.

Signe...

This change improves the docstrings in posix-fdtab, fixing minor
inconsistencies and clarifying ...

Because the rebase somehow, sometimes, failed, we set this now globally
in actions to ensure tha...

This change fixes an off-by-1 error in sethostname when checking the
length of the new hostname,...

This change adds declarations of gethostname and sethostname to nolibc's
unistd.h when CONFIG_LI...

Some applications are expecting to run on a cooperative scheduler and will
naively assume that t...

The Musl imported `strstr` had a warning about comparison
between variables of different signedn...

Add CONFIG_OPTIMIZE_WARNISERROR to the `self-test` and
`helloworld` jobs to catch warnings intro...

Remove duplicate PAGE definitions to prevent compiler warnings.

Signed-off-by: Michalis Pappas ...

Previously a epoll_ctl(EPOLL_CTL_MOD) call that added new events to be
monitored would miss even...

This change removes the `uk_pollq_reregister` function from the ukfile
pollqueue API, motivated ...

This change adds a Kconfig option to select the desired value for
FD_SETSIZE, defaulting to 64.
...

Import from musl the basic implementation of the widely available
string searching method `strst...

Remove unused variable from lxboot_entry() to prevent compiler
warnings.

Signed-off-by: Michali...

Use the `%lx` type in format string for ctx->esr. Fixes
a GCC warning.

Signed-off-by: Michalis ...

Call madvise() after allocating the auxiliary stack of the init
thread so that it is backed by p...

Signed-off-by: Delia-Maria Pavel <[email protected]>
Approved-by: Razvan Deacone...

Signed-off-by: Radu Nichita <[email protected]>
Reviewed-by: Delia Pavel <delia_maria.pave...

This change fixes a bug where poll() would ignore fd 0 as if it were a
negative fd, which are ex...

This change makes ioctl universally return -ENOTTY for tty-specific
ioctls that are not supporte...

The mount point can contain a trailing slash (for example the root mount
point has a path of "/"...

This change adds rudimentary support for CLOCK_BOOTTIME, implemented as
a synonym for CLOCK_MONO...

This change splits the pollqueue initializer macro into an explicit
initializer and an assignabl...

This change splits the pollqueue chain ticket initializer macros into
explicit initializers and ...

This change splits the file state initializer macro into an explicit
initializer and an assignab...

Previously refcount types defined in uk/refcount.h and uk/swrefcount.h
provided initializer macr...

Previously calling select with an unpollable file one of the fd_sets
would immediately propagate...

This change makes epoll correctly handle vfscore files that do not
support being polled, such as...

Previously calling poll() on a file not supporting epoll would propagate
the -EPERM error from e...

Previously epoll_ctl would crash on EPOLL_CTL_ADD and EPOLL_CTL_MOD if
its event arg was NULL. N...

According to [1] madvise() rounds up the length to a
multiple of page size. Round up the length ...

Replay commit d39b30308e95 ("support/scripts: Add additional recognised
Git trailers to checkpat...

Source of import:
- Repository: https://github.com/torvalds/linux.git
- Commit: v6.8-rc2 (41bccc...

Replay commit 5a6cc6a31f7d ("support: checkpatch: Unikraft subject
format") on top of v6.8-rc2.
...

The updated versio of checkpatch bumps the max line length to 100
characters. Pass `--max-line-l...

Add `--strict` to checkpatch options to enable additional checks.

Signed-off-by: Michalis Pappa...

Get in sync with .checkpatch.conf

Signed-off-by: Michalis Pappas <[email protected]>
Reviewe...

Replay commit 498f4a7ffc54 ("support/scripts: `checkpatch` `WARN`
on commit subject > 70 chars")...

The AVOID_BUG rule also catches uses of UK_BUG(),
which is not discouraged by Unikraft's convent...

Replay changes from:

- commit 9b987dce278a ("support: checkpatch: Prefer raw system call
...

This change adds support for retrieving the address space resource limit
using the *rlimit sysca...

The current set of events does not allow UDP connections to be tracked as
they do not require a ...

Previously epoll would miss events when configured for edge-polling and
unable to return all cap...

The update of strcpy() introduced in commit 4567716770ca
("lib/string: Fix strcpy and strcpy_isr...

The `flags` parameter in `file_ack` and `file_rel` is used
conditionally to `CONFIG_LIBVFSCORE`....

To support devices that feature a GICv2 with FC, we need to
update the list of compatible GICv2 ...

This check is already done by checkpatch so we don't need to also do
this again.

Signed-off-by:...

The description always contains something because of templating, so this
check would never fail....

This is a handy option which is useful when needing to
add `Checkpatch-Ignore` tags to a commit ...

This commit fixes the use of additional arguments loaded from
`.checkpatch.conf`.
Commit d969e2f...

Disable image compression by default to improve build time.

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

Signed-off-by: Cezar Craciunoiu <[email protected]>
Approved-by: Alexander Jung <alex@u...

Signed-off-by: Cezar Craciunoiu <[email protected]>
Approved-by: Razvan Deaconescu <raz...

This commit extends the socket events so that each socket
keeps track of its current state. This...

grant_table region, reading from the DTB has an address, which is
outside of the memory region, ...

fdt64_ld function generate correct memory-aligned value.
This call is safer than fdt_to_cpu beca...

MAIR values should be programed to different slots, which are made
by MAIR macro. It moves MAIR_...

Moving to common place to prevent copying code.

Signed-off-by: Oleksii Moisieiev <oleksii_moisi...

Signed-off-by: Oleksii Moisieiev <[email protected]>
Reviewed-by: Michalis Pappas <mich...

When multiprocessor configuration is enabled, run and wakeup
interrupts should be registered.

S...

Event IRQ (31) is responsible for getting responses from event
channels.

Signed-off-by: Oleksii...

Add platform specific init support for GIC drivers.
Some platforms, such as Xen may require GIC
...

arch_timer implemented for arm32 is not suitable for aarch64 because
it doesn't use interrupts s...

Added check to __XEN_INTERFACE_VERSION__ being empty. In this case
default value should also be ...

According to the new driver model, XEN related drivers
were moved from plat and placed in driver...

When building PLAT_XEN for ARCH_ARM_64 enable GICv3 as default
interrupt controller for the plat...

Adaptation of the netfront and 9p drivers to compile and start
on aarch64.

Reviewed-by: Oleksan...

Set vaddr as pbase in mrd region to handle correctly heap region space.

Signed-off-by: Oleksii ...

There is no need to stop probe sequence when some devtype probe was
failed. For example if syste...

Sets correct permissions for the segments and assigns sections to the
correct segments for Xen A...

During xenbus state switch function checks if state was already set.
There should be used state_...

uk_intctlr_plat_probe is platform specific initialization for GIC
drivers. It maps destributor/r...

Changes in this commit were extracted from Mini-OS and implement arm64
loader support for the Un...

Implementation of the grant-table support and interrupt support.
Partly moved from Mini-OS and f...

Some platforms may require additional steps to init interrupt
controller properly. That's why in...

uk_socket_evd_raddr_set receives *addr_len as an input parameter,
which means that NullPointerEx...

Current version of the strncpy and strncpy_isr pads with 0 remaining
n-1 bytes after copying src...

atomic_thread_fence_acq is not supported in the unikraft so set dmb
barrier in uk_ring_peek_clea...

Updating ukring attribute according to the attributes, allocated in
uk/compiler.h header file. T...

Signed-off-by: Cezar Craciunoiu <[email protected]>
Approved-by: Simon Kuenzer <simon@u...

Signed-off-by: Cezar Craciunoiu <[email protected]>
Approved-by: Simon Kuenzer <simon@u...

Signed-off-by: Cezar Craciunoiu <[email protected]>
Approved-by: Simon Kuenzer <simon@u...

Signed-off-by: Cezar Craciunoiu <[email protected]>
Approved-by: Simon Kuenzer <simon@u...

Signed-off-by: Cezar Craciunoiu <[email protected]>
Approved-by: Simon Kuenzer <simon@u...