RISC-V Linux 内核及周边技术动态第 104 期

时间：20240811
编辑：晓瑜
仓库：RISC-V Linux 内核技术调研活动
赞助：PLCT Lab, ISCAS

内核动态

RISC-V 架构支持

v11: riscv: sophgo: add dmamux support for Sophgo CV1800/SG2000 SoCs

Add dma multiplexer support for the Sophgo CV1800/SG2000 SoCs.

v1: ACPI: RISCV: Make acpi_numa_get_nid() to be static

acpi_numa_get_nid() is only called in acpi_numa.c for riscv, no need to add it in head file, so make it static and remove related functions in the asm/acpi.h.

v9: riscv: Add support for xtheadvector

I tested with MangoPi MQ board (Allwinner D1s) and starting from this merge I can’t get beyond “Starting kernel…”, ie. no output at all (and u-boot keeps restarting)

v10: riscv: sophgo: add dmamux support for Sophgo CV1800/SG2000 SoCs

Add dma multiplexer support for the Sophgo CV1800/SG2000 SoCs.

v10: riscv: sophgo: Add SG2042 external hardware monitor support

Add support for the onboard hardware monitor for SG2042. Can be tested with OpenSBI v1.5.

v1: RISC-V: Add Zicclsm extension support

This set is the first two commits of RISC-V: Detect and report speed of unaligned vector accesses [1] rebased onto palmer/for-next.

v6: Tracepoints and static branch in Rust

An important part of a production ready Linux kernel driver is tracepoints.

v1: riscv: Make riscv_isa_vendor_ext_andes array static

Since this array is only used in this file, it should be static.

v4: mm: introduce numa_memblks

Bite the bullet and move numa_memblks from x86 to the generic code so they will be available on arm64/riscv and maybe on loongarch sometime later.

v2: tools: Add barrier implementations for riscv

Add support for riscv specific barrier implementations to the tools tree, so that fence instructions can be emitted for synchronization.

v1: usb: musb: poll ID pin status in dual-role mode in mpfs glue layer

Similar to other platforms using the MUSB driver, PolarFire SoC lacks an ID pin interrupt event, preventing several OTG-critical status change events from being exposed.

v1: RISC-V: kernel parameter for unaligned access speed

Add a kernel parameter to the unaligned access speed. This allows skiping of the speed tests for unaligned accesses, which often is very slow.

v3: riscv: mm: Add soft-dirty and uffd-wp support

This patchset adds soft dirty and userfaultfd write protect tracking support for RISC-V.

v6: mmc: sdhci-of-dwcmshc: Add Sophgo SG2042 support

The reason for merging the two parts into one patchset is mainly to facilitate review, especially to facilitate viewing why we need to improve the framework and what benefits it will bring to us.

LoongArch 架构支持

v1: LoongArch: KVM: Add haltpoll control feature in kvm side

The cpuidle-haltpoll driver with haltpoll governor allows the guest vcpus to poll for a specified amount of time before halting.

v1: LoongArch: Add ARCH_HAS_SET_DIRECT_MAP support

Add set_direct_map_*() functions for setting the direct map alias for the page to its default permissions and to an invalid state that cannot be cached in a TLB.

ARM 架构支持

v6: RESED: dma: support DMA zone starting above 4GB

DMA zones code assumes that DMA lower limit is zero.

v6: dma: support DMA zone starting above 4GB

DMA zones code assumes that DMA lower limit is zero.

v1: Support for I/O width within ARM SCMI SHMEM

We just got our hands on hardware that only supports 32-bit access width to the SRAM being used.

v1: iommu/arm-smmu: Un-demote unhandled-fault msg

Previously this was dev_err_ratelimited() but it got changed to a ratelimited dev_dbg(). Change it back to dev_err().

v5: Add support for the LAN966x PCI device using a DT overlay

This series adds support for the LAN966x chip when used as a PCI device.

v2: Add support for ADMA

Add support for Versal Gen 2 DMA IP by adding a compatible string and separate Versal Gen 2 DMA IP register offset.

v4: platform/chrome: Introduce DT hardware prober

This is v4 of my “of: Introduce hardware prober driver” series. v4 mainly adds regulator and GPIO support.

v3: ACPI: introduce acpi_arch_init

To avoid arch-specific code in general ACPI initialization flow, we introduce a weak symbol acpi_arch_init.

v2: Add support for Kontron OSM-S i.MX8MP SoM and carrier boards

v1: arm64: uaccess: correct thinko in __get_mem_asm()

In the CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y version of _get_mem_asm(), we incorrectly use _ASM_EXTABLE##type##ACCESS_ERR() such that upon a fault the extable fixup handler writes -EFAULT into “%w0”, which is the register containing ‘x’ (the result of the load).

X86 架构支持

v4: Touch Bar support for T2 Macs

The Touch Bars found on x86 Macs support two USB configurations: one where the device presents itself as a HID keyboard and can display predefined sets of keys, and one where the operating system has full control over what is displayed.

v1: Create Intel PMC SSRAM Telemetry driver

This patch series removes the SSRAM support from Intel PMC Core driver and creates a separate PCI driver for SSRAM device.

v1: KVM: x86/mmu: Allow yielding on mmu_notifier zap

The main intent of this series is to allow yielding, i.e. cond_resched(), when unmapping memory in shadow MMUs in response to an mmu_notifier invalidation.

v1: platform/x86: lg-laptop: Add operation region support

The LEGX0820 ACPI device is expected to provide a custom operation region

v8: RFT: fork: Support shadow stacks in clone3()

The kernel has recently added support for shadow stacks, currently x86 only using their CET feature but both arm64 and RISC-V have equivalent features (GCS and Zicfiss respectively), I am actively working on GCS[1].

v1: Enable PMU for ArrowLake-H

ArrowLake-H is a specific variant of regular ArrowLake.

v1: x86: Write FRED RSP0 on return to userspace

This patch set moves writing MSR_IA32_FRED_RSP0 to return to userspace from context switch.

• v3: PATCH: Introduce initial AMD I3C HCI driver support

The AMD SoC includes an I3C IP block as part of the Fusion Controller Hub (FCH).

v1: SEV-SNP restricted injection hypervisor patches

Operating systems may not handle unexpected interrupt or exception sequences.

进程调度

v2: sched: idle: s/int/bool for idle_timer: done

Since it->done takes only 1 or 0 throughout the code it makes sense to call it a bool variable than int.

v2: sched/topology: optimize topology_span_sane()

The function may call cpumask_equal with tl->mask(cpu) == tl->mask(i), even when cpu != i. In such case, cpumask_equal() would always return true, and we can proceed to the next iteration immediately.

v1: sched: Don’t try to catch up excess steal time.

When steal time exceeds the measured delta when updating clock_task, we currently try to catch up the excess in future updates.

v1: next: sched: make printk safe when rq lock is held

The dead lock can happen if we try to use printk(), such as a call of SCHED_WARN_ON(), during the rq->__lock is held.

v1: perf sched timehist: Add –show-prio & –prio option

This patch set adds –show-prio and –prio to show and filter task priorities.

v2: sched_ext/for-6.12: sched/fair: Make balance_fair() test sched_fair_runnable() instead of rq->nr_running

balance_fair() skips newidle balancing if rq->nr_running - there are already tasks on the rq, so no need to try to pull tasks.

v1: kernel: sched: idle: s/bool/int for done

Since it->done takes only 1 or 0 throughout the code it makes sense to call it a bool variable than int. This will also help improve readability.

内存管理

v1: mm/swap: take folio refcount after testing the LRU flag

Whoever passes a folio to __folio_batch_add_and_move() must hold a reference, otherwise something else would already be messed up.

v1: mm: Support huge pfnmaps

This series is based on mm-unstable, commit 98808d08fc0f of Aug 7th latest, plus dax 1g fix .

v1: Improve migration by backing off earlier

It was recently observed at that during the folio unmapping stage of migration, when the PTEs are cleared, a racing thread faulting on that folio may increase the refcount of the folio, sleep on the folio lock (the migration path has the lock), and migration ultimately fails when asserting the actual refcount against the expected.

v1: slab: Allocate and use per-call-site caches

Here’s my current progress on using per-call-site kmalloc caches (instead of KMALLOC_NORMAL), as a defense against the common heap-grooming attacks that construct malicious objects in the same cache as a target object.

v3: lib/htree: Added get_cycles() to measure execution time

Added get_cycles() to measure execution time during insert, find, and erase operations. Added check_latency() in the lib/test_xarray.c and the lib/test_maple_tree.c Added likely/unlikely to improve if conditional code.

v3: Add support for Congatec CGEB BIOS interface

The following series adds support for the Congatec CGEB interface found on some Congatec x86 boards.

v5: Enable P2PDMA in Userspace RDMA

In the last version of this series, there was a discrepancy on how ->close() and ->page_mkwrite() were handled, as just the latter had a WARN.

v4: cxl: add device reporting poison handler

This patchset includes “cxl/core: introduce poison creation hanlding” and “cxl: avoid duplicated report from MCE & device”, which were posted separately.

v5: rust: mm: add abstractions for mm_struct and vm_area_struct

This is a follow-up to the page abstractions that were recently merged in 6.11.

v5: mm/zsmalloc: add zpdesc memory descriptor for zswap.zpool

According to Metthew’s plan, the page descriptor will be replace by a 8 bytes mem_desc on destination purpose.

v1: mm: attempt to batch free swap entries for zap_pte_range()

Zhiguo reported that swap release could be a serious bottleneck during process exits.

v3: improving dynamic zswap shrinker protection scheme

v1: Enable strict percpu address space checks

This patchset enables strict percpu address space checks via x86 named address space qualifiers.

v1: mm: Introduce guest_memfd library

In preparation for adding more features to KVM’s guest_memfd, refactor and introduce a library which abstracts some of the core-mm decisions about managing folios associated with the file.

v1: mm: swap: mTHP frees entries as a whole

Support mTHP’s attempt to free swap entries as a whole, which can avoid frequent swap_info locking for every individual entry in swapcache_free_entries().

v3: mm: tlb swap entries batch async release

One of the main reasons for the prolonged exit of the process with independent mm is the time-consuming release of its swap entries.

v4: Generic Allocator support for Rust

This patch series adds generic kernel allocator support for Rust, which so far is limited to kmalloc allocations.

文件系统

v2: vfs: only read fops once in fops_get/put

This popped up due to false-sharing where loads from that offset end up bouncing a cacheline during parallel open.

v1: [DRAFT RFC]: file: reclaim 24 bytes from f_owner

This is in rough shape. I just drafted it quickly to get the idea across.

v3: fanotify: add pre-content hooks

v1: unicode: constify utf8 data table

All users already handle the table as const data. Move the table itself into .rodata to guard against accidental or malicious modifications.

v1: -next: zonefs: add support for FS_IOC_GETFSSYSFSPATH

FS_IOC_GETFSSYSFSPATH ioctl expects sysfs sub-path of a filesystem, the format can be “$FSTYP/$SYSFS_IDENTIFIER” under /sys/fs, it can helps to standardizes exporting sysfs datas across filesystems.

v1: unicode: get rid of obsolete ‘utf8data.h’

Commit 2b3d04787012 (“unicode: Add utf8-data module”) changed the database file from ‘utf8data.h’ to ‘utf8data.c’ to build separate module, but it seems forgot to update README.

v4: exfat: check disk status during buffer write

We found that when writing a large file through buffer write, if the disk is inaccessible, exFAT does not return an error normally, which leads to the writing process not stopping properly.

v1: why do we need smp_rmb/smp_wmb pair in fd_install()/expand_fdtable()?

Take a look at fs/file.c:expand_fdtable() and fs/file.c:fd_install

v4: bpf-next: Harden and extend ELF build ID parsing logic

The goal of this patch set is to extend existing ELF build ID parsing logic, currently mostly used by BPF subsystem, with support for working in sleepable mode in which memory faults are allowed and can be relied upon to fetch relevant parts of ELF file to find and fetch .note.gnu.build-id information.

v3: fs: try an opportunistic lookup for O_CREAT opens too

Today, when opening a file we’ll typically do a fast lookup, but if O_CREAT is set, the kernel always takes the exclusive inode lock.

v3: binfmt_elf: Dump smaller VMAs first in ELF cores

Large cores may be truncated in some scenarios, such as with daemons with stop timeouts that are not large enough or lack of disk space.

v1: vfs: dodge smp_mb in break_lease and break_deleg in the common case

These inlines show up in the fast path (e.g., in do_dentry_open()) and induce said full barrier regarding i_flctx access when in most cases the pointer is NULL.

v1: proc: restrict overmounting of ephemeral entities

It is currently possible to mount on top of various ephemeral entities in procfs. This specifically includes magic links.

v2: sysctl: prepare sysctl core for const struct ctl_table

Adapt the internal and external APIs of the sysctl core to handle read-only instances of “struct ctl_table”.

v1: Introduce guestmemfs: persistent in-memory filesystem

In this patch series a new in-memory filesystem designed specifically for live update is implemented.

v1: vfs: Don’t evict inode under the inode lru traversing context

The inode reclaiming process(See function prune_icache_sb) collects all reclaimable inodes and mark them with I_FREEING flag at first, at that time, other processes will be stuck if they try getting these inodes (See function find_inode_fast), then the reclaiming process destroy the inodes by function dispose_list().

v1: piped/ptraced coredump (was: Dump smaller VMAs first in ELF cores)

Large cores may be truncated in some scenarios, such as with daemons with stop timeouts that are not large enough or lack of disk space.

v5: Improve the copy of task comm

Using {memcpy,strncpy,strcpy,kstrdup} to copy the task comm relies on the length of task comm. Changes in the task comm could result in a destination string that is overflow.

v7: squashfs: Add symlink size check in squash_read_inode

syzbot report KMSAN: uninit-value in pick_link, the root cause is that squashfs_symlink_read_folio did not check the length, resulting in folio not being initialized and did not return the corresponding error code.

v1: blk: optimization for classic polling

This removes the dependency on interrupts to wake up task. Set task state as TASK_RUNNING, if need_resched() returns true, while polling for IO completion.

网络设备

v2: wifi: rfkill: Correct parameter type for rfkill_set_hw_state_reason()

Change type of parameter @reason to enum rfkill_hard_block_reasons for API rfkill_set_hw_state_reason() according to its comments, and all kernel callers have invoked the API with enum type actually.

v5: RESEND: wifi: mac80211: check basic rates validity

commit ce04abc3fcc62cd5640af981ebfd7c4dc3bded28 upstream.

v3: net-next: eth: fbnic: add basic stats

Add basic interface stats to fbnic.

v5: net-next: ethtool: rss: driver tweaks and netlink context dumps

This series is a semi-related collection of RSS patches.

v9: Add AP6275P wireless support

These add AP6275P wireless support on Khadas Edge2. Enable 32k clock for Wi-Fi module and extend the hardware IDs table in the brcmfmac driver for it to attach.

v1: net-next: net: dsa: microchip: add SGMII port support to KSZ9477 switch

This series of patches is to add SGMII port support to KSZ9477 switch.

v3: net-next: net: dsa: microchip: Add KSZ8895/KSZ8864 switch support

This series of patches is to add KSZ8895/KSZ8864 switch support to the KSZ DSA driver.

v1: net-next:pull request: ice: iavf: add support for TC U32 filters on VFs

The Intel Ethernet 800 Series is designed with a pipeline that has an on-chip programmable capability called Dynamic Device Personalization (DDP).

v1: net: mlxbf_gige: disable RX filters until RX path initialized

A recent change to the driver exposed a bug where the MAC RX filters (unicast MAC, broadcast MAC, and multicast MAC) are configured and enabled before the RX path is fully initialized.

v1: net-next: net: netconsole: Populate dynamic entry even if netpoll fails

Failed targets are now added to the target list and configfs, but remain disabled until manually enabled or reconfigured. This change does not change the behaviour if CONFIG_NETCONSOLE_DYNAMIC is not set.

v1: iproute2-next: add support for tunsrc

This patchset provides support for the new ioam6 feature called “tunsrc”.

v1: net-next: net: ipv6: ioam6: introduce tunsrc

This patchset introduces a new feature called “tunsrc” (just like seg6 already does).

v1: mptcp: correct MPTCP_SUBFLOW_ATTR_SSN_OFFSET reserved size

ssn_offset field is u32 and is placed into the netlink response with nla_put_u32(), but only 2 bytes are reserved for the attribute payload in subflow_get_info_size() (even though it makes no difference in the end, as it is aligned up to 4 bytes).

v1: ipsec-next: Add 2 functions to skbuff for code sharing

This patchset contains 2 commits which add 2 functions to skbuff.[ch].

v1: net-next: Make SMC-R can work with rxe devices

Make SMC-R can work with rxe devices. This allows us to easily test and learn the SMC-R protocol without relying on a physical RoCE NIC.

v4: Add support for Amlogic HCI UART

Add support for Amlogic HCI UART, including dt-binding, and Amlogic Bluetooth driver.

v1: net: tuntap: add ioctl() TUNGETQUEUEINDX to fetch queue index

A queue presents a VPN node here. It means it would leak one’s data to the other. Also those data could be just garbage fragments costs bandwidth sending to a peer that can’t handle it.

v1: next: nfp: Use static_assert() to check struct sizes

Commit d88cabfd9abc (“nfp: Avoid -Wflex-array-member-not-at-end warnings”) introduced tagged struct nfp_dump_tl_hdr.

v1: next: net/smc: Use static_assert() to check struct sizes

Commit 9748dbc9f265 (“net/smc: Avoid -Wflex-array-member-not-at-end warnings”) introduced tagged struct smc_clc_v2_extension_fixed and struct smc_clc_smcd_v2_extension_fixed.

v2: net-next: page_pool: unexport set dma_addr helper

This helper doesn’t need to be exported. Move it to page_pool_priv.h

v1: net-next: ethtool: refactor checking max channels

Currently ethtool_set_channel calls separate functions to check whether the new channel number violates rss configuration or flow steering configuration.

v1: ipv6: mcast: Add __must_hold() annotations.

Add __must_hold(RCU) annotations to igmp6_mc_get_first(), igmp6_mc_get_next(), and igmp6_mc_get_idx() to signify that they are meant to be called in RCU critical sections.

v2: Add Nothing Phone (1) support

This series of patches adds support for the Nothing Phone (1), identified as nothing,spacewar. The Nothing Phone (1) is built on the Qualcomm Snapdragon 778G+ (SM7325-AE, also known as yupik).

v1: net-next:pull request: igb: Add support for AF_XDP zero-copy

Since Sriram’s duties changed I am sending this instead. Additionally, I’ve tested this on real hardware, Intel i210 [1].

v3: net-next:pull request: ice: support devlink subfunction

Currently ice driver does not allow creating more than one networking device per physical function.

v2: Add GMAC support for rk3576

Add the necessary constants and functions to support the GMAC devices on the rk3576.

安全增强

v1: next: wifi: mwl8k: Use static_assert() to check struct sizes

Commit 5c4250092fad (“wifi: mwl8k: Avoid -Wflex-array-member-not-at-end warnings”) introduced tagged struct mwl8k_cmd_pkt_hdr.

v1: next: integrity: Use static_assert() to check struct sizes

Commit 38aa3f5ac6d2 (“integrity: Avoid -Wflex-array-member-not-at-end warnings”) introduced tagged struct evm_ima_xattr_data_hdr and struct ima_digest_data_hdr.

v1: next: smb: smb2pdu.h: Use static_assert() to check struct sizes

Commit 9f9bef9bc5c6 (“smb: smb2pdu.h: Avoid -Wflex-array-member-not-at-end warnings”) introduced tagged struct create_context_hdr.

v1: lib/string_helpers: rework overflow-dependent code

When @size is 0, the desired behavior is to allow unlimited bytes to be parsed. Currently, this relies on some intentional arithmetic overflow where –size gives us SIZE_MAX when size is 0.

v6: Add support for aw96103/aw96105 proximity sensor

Add drivers that support Awinic aw96103/aw96105 proximity sensors.

v1: slab: Introduce kmalloc_obj() and family

Introduce type-aware kmalloc-family helpers to replace the common idioms for single, array, and flexible object allocations

v2: binfmt_elf: seal address zero

In load_elf_binary as part of the execve(), when the current task’s personality has MMAP_PAGE_ZERO set, the kernel allocates one page at address 0. According to the comment

v1: string: Check for “nonstring” attribute on strscpy() arguments

GCC already checks for arguments that are marked with the “nonstring”[1] attribute when used on standard C String API functions (e.g. strcpy).

异步 IO

v5: io_uring: support sqe group and provide group kbuf

When running 64KB/512KB block size test on ublk-loop(‘ublk add -t loop –buffered_io -f $backing’), it is observed that perf is doubled.

v7: RESENT: io_uring: releasing CPU resources when polling

This patch add a new hybrid poll at io_uring level, it also set a signal “IORING_SETUP_HY_POLL” to application, aim to provide a interface for users to enable use new hybrid polling flexibly.

v2: clodkid and abs mode CQ wait timeouts

v1: io_uring/net: allow opportunistic initial bundle recv

For bundles, the initial recv operation is always just a single buffer, as we don’t yet know how much data is available in the socket.

Rust For Linux

v1: rust: sort includes in bindings_helper.h

Dash has ascii value 45 and underscore has ascii value 95, so to correctly sort the includes, the underscore should be last.

v1: kbuild: rust-analyzer: mark rust_is_available.sh invocation as recursive

When calling the rust_is_available.sh script, we need to make the jobserver available to it, as commit ecab4115c44c (“kbuild: mark rustc (and others) invocations as recursive”) explains and did for the others.

v3: Extended MODVERSIONS Support

This patch series is intended for use alongside the Implement MODVERSIONS for RUST [2] series as a replacement for the symbol name hashing approach used there to enable RUST and MODVERSIONS at the same time.

v3: net-next: net: phy: add Applied Micro QT2025 PHY driver

This patchset adds a PHY driver for Applied Micro Circuits Corporation QT2025.

BPF

v2: uprobes: make trace_uprobe->nhit counter a per-CPU one

trace_uprobe->nhit counter is not incremented atomically, so its value is questionable in when uprobe is hit on multiple CPUs simultaneously.

v2: uprobes: Improve scalability by reducing the contention on siglock

The profiling result of BPF selftest on ARM64 platform reveals the significant contention on the current->sighand->siglock is the scalability bottleneck.

v1: bpf-next: __jited_x86 test tag to check x86 assembly after jit

Some of the logic in the BPF jits might be non-trivial. It might be useful to allow testing this logic by comparing generated native code with expected code template.

v3: bpf-next: Support bpf_kptr_xchg into local kptr

This series allows stashing kptr into local kptr. Currently, kptrs are only allowed to be stashed into map value with bpf_kptr_xchg().

v1: bpf-next: Support passing BPF iterator to kfuncs

Add support for passing BPF iterator state to any kfunc. Such kfunc has to declare such argument with valid struct bpf_iter_<type> * type and should use “__iter” suffix in argument name, following the established suffix-based convention. We add a simple test/demo iterator getter in bpf_testmod.

v2: bpf-next: add TCP_BPF_SOCK_OPS_CB_FLAGS to bpf_*sockopt()

As previously discussed here [1], long-lived sockets can miss a chance to set additional callbacks if a sock ops program was not attached early in their lifetime.

v2: uprobes: RCU-protected hot path optimizations

The goal here is to optimize obvious uprobe triggering hot path, while keeping the rest of locking mostly intact.

v1: bpf-next: Share user memory to BPF program through task storage map.

Some of BPF schedulers (sched_ext) need hints from user programs to do a better job. For example, a scheduler can handle a task in a

v4: bpf-next: Add bpf_get_dentry_xattr

Add a kfunc to read xattr from dentry. Also add selftest for the new kfunc.

v1: libbpf: check the btf_type kind to prevent error

To prevent potential error return values, it is necessary to check the return value of btf__type_by_id. We can add a kind checking to fix the issue.

v1: net-next: doc/netlink/specs: add netkit support to rt_link.yaml

Add netkit support to rt_link.yaml. Only forward(PASS) and blackhole(DROP) policies are allowed to be set by user-space so I’ve added only them to the yaml to avoid confusion.

v18: net-next: Device Memory TCP

v1: uprobes: get rid of bogus trace_uprobe hit counter

The alternative would be allocating per-CPU counter, but I’m not sure it’s justified.

周边技术动态

Qemu

v5: target/riscv: Add Smrnmi support.

This patchset added support for Smrnmi Extension in RISC-V.

v3: riscv support for control flow integrity extensions

Sending out v3 for riscv zicfilp and zicfiss extensions support in qemu. I sent out v1 [1] and v2 [2] a while ago.

v1: riscv-to-apply queue

The following changes since commit e7207a9971dd41618b407030902b0b2256deb664

Buildroot

[autobuild.buildroot.net] Daily results for 2024-08-06

package/swipl: new package

SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications.

U-Boot

v1: riscv: resume needs to be a global

If we take an exception before u-boot is relocated, there’s a good chance we will end up in an endless loop of exceptions because resume is invalid until after relocation.

v4: Universal Payload initial series

This series provides some initial support for this, targeting 0.9.1 and sandbox only.

v2: efi: Add a test for EFI bootmeth

This series creates a simple test for this purpose.