Resolution of an increasingly complex planning problem leveraging different PDDL and HDDL planners to achieve optimal plans

A simple linux kernel module template running under WSL

The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)

Stratosphere (Xanmod) kernel for WSL2, built by clang with full LTO enabled. Optimized for AMD Ryzen Processors

Patch to build my custom WSL kernel.

The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2) - modified to include xpad to enable controller support

Builds the WSL2 Kernel with CAN and USB support

Slackware's default kernel, customized for using on WSLackware and other WSL2 distros.

Enable the bridge and br-netfilter modules on WSL2. This allows you to use "bridge" network mode for Hashicorp Nomad jobs. I believe it also works for Kubernetes.

This is the source code for the Linux kernel that runs in Windows Subsystem for Linux 2 (WSL2).

Rolling Release LTS Kernel for Windows Subsystem for Linux2 (WSL2)

Xanmod kernel for WSL2, built by clang with ThinLTO enabled. Build & Release are automated by Github Action.

Rolling Release Stable Kernel for Windows Subsystem for Linux2 (WSL2)