Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
391.
Penguincrab: Unsafe Wrapper for Linux Kernel Library in Rust (github.com/docfate111)
37 points
homarp
4 years ago
14 comments
392.
Usercorn – a versatile kernel+system+userspace emulator (github.com/lunixbochs)
37 points
mre
10 years ago
13 comments
393.
Truck: a Rust CAD Kernel (github.com/ricosjp)
37 points
sbt567
2 years ago
4 comments
394.
Timers and time management in the Linux kernel – Part 6 (github.com/0xAX)
37 points
ingve
10 years ago
discuss
395.
Linux 4.13 support for TLS record layer in kernel space (github.com/torvalds)
36 points
FiloSottile
9 years ago
8 comments
396.
Demikernel: A library OS for kernel-bypass devices, now with Rust TCP/IP stack (github.com/iyzhang)
35 points
drkp
7 years ago
6 comments
397.
Linux kernel memory management, part 2 (github.com/0xAX)
35 points
0xAX
11 years ago
1 comment
398.
Pure64 – BareMetal OS kernel loader (github.com/ReturnInfinity)
35 points
ingve
11 years ago
1 comment
399.
Kernel panic in latest OS X in 10 lines of C (gist.github.com)
32 points
tyilo
11 years ago
10 comments
400.
dm-cache: new caching method that operates within the Linux kernel (github.com/mingzhao)
31 points
auston
14 years ago
10 comments
401.
Kpatch: Dynamic Linux kernel patching (github.com/dynup)
27 points
patrickaljord
12 years ago
7 comments
402.
Better Kernel#require profiling information (github.com/ruby-prof)
27 points
wwarneck
11 years ago
1 comment
403.
Linux Kernel Interrupts and Interrupt Handling, Part 2 (github.com/0xAX)
27 points
0xAX
11 years ago
discuss
404.
Brutal, an OS built on top of a capability based micro-kernel (github.com/brutal-org)
26 points
nix23
4 years ago
6 comments
405.
Gvisor: Application Kernel for Containers (github.com/google)
26 points
bx376
2 years ago
5 comments
406.
Linux Kernel: Bypassing Spectre-BTI User Space Mitigations (github.com/google)
25 points
todsacerdoti
3 years ago
1 comment
407.
An IDA Pro Plugin for embedding an IPython Kernel (github.com/james91b)
24 points
makmanalp
11 years ago
3 comments
408.
Interrupts and Interrupt Handling in the Linux Kernel. Part 7 (github.com/0xAX)
24 points
0xAX
11 years ago
discuss
409.
It boots (Linux compatible kernel) (github.com/jgarzik)
23 points
jgarzik
6 months ago
4 comments
410.
Fuchsia: Micro kernel written in C by Google (github.com/fuchsia-mirror)
22 points
tnorgaard
10 years ago
12 comments
411.
py2bpf translates functions from Python to BPF, a Linux kernel bytecode (github.com/facebookresearch)
22 points
stablemap
8 years ago
2 comments
412.
Linux Kernel Module: Forge Socket (github.com/ewust)
22 points
1vuio0pswjnm7
4 years ago
1 comment
413.
Why “negative vectors” can't delete data in FAISS – but weighted kernels can (github.com/nikitph)
21 points
loaderchips
6 months ago
4 comments
414.
OS Kernel in under 45 lines of Javascript (github.com/torvalds)
20 points
logicchains
13 years ago
11 comments
415.
Kernel booting process – Part 4 (github.com/0xAX)
20 points
abhi_kr
11 years ago
discuss
416.
A minimal Linux kernel module written in Rust (github.com/tsgates)
20 points
tsgates
13 years ago
discuss
417.
Interrupts and Interrupt Handling in the Linux Kernel, Part 6 (github.com/0xAX)
19 points
0xAX
11 years ago
discuss
418.
Linux Kernel Spectre v2 SMT mitigations (github.com/google)
18 points
zx8080
3 years ago
6 comments
419.
Akka Actor Kernel (wiki.github.com)
18 points
fogus
17 years ago
discuss
420.
Embeddable Linux Kernel Subset: Linux-like OS for systems like 8086 (github.com/jbruchon)
17 points
stevefan1999
4 years ago
1 comment
More