littlekernel/lk
View on GitHub ↗ ★ 3,704 C
LK embedded kernel
13 mentions on Hacker News by 12 people: 4 stories, 9 comments · first 2016-08-11 · latest 2024-03-17
20082026
-
Fuchsia's kernel is based on the Little Kernel embedded OS. https://github.com/littlekernel/lk
comment by IshKebab · 2024-03-17 · in OxidOS Automotive -
This is based on little kernel from recollection (noted somewhere in the docs) https://github.com/littlekernel/lk
comment by bjconlan · 2022-10-04 · in Ask HN: Examples of Microkernels? -
▲ 6
The Little Kernel Embedded Operating Systemstory by api · 2022-09-08 · 0 comments
-
▲ 2
LK Embedded Kernelstory by tosh · 2022-08-31 · 0 comments
-
…drop so doesn't tell the story. [0] https://fuchsia.dev/fuchsia-src/concepts/kernel/zx_and_lk [1] https://github.com/littlekernel/lk [2] https://github.com/littlekernel/lk/commit/1d0df6996457273367...
comment by fulafel · 2021-06-13 · in A few thoughts on Fuchsia security -
LK is C. It looks like they ported it to C++ for Fuchsia. https://github.com/littlekernel/lk/tree/master/kernel
comment by cbsks · 2020-09-12 · in Redox: Unix-Like Operating System in Rust -
Say what now? [Digging] https://github.com/littlekernel/lk/wiki/Introduction : > LK is the Android bootloader and is also used in Android Trusted Execution Environment - "Trusty TEE" Operating System. > Newer Android phones have some…
comment by exikyut · 2020-06-10 · in SeL4 is verified on RISC-V -
…is based on Little Kernel[1]. One of the main authors of Fuchsia was the developer of LK. [1] https://github.com/littlekernel/lk/wiki/Introduction
comment by bitmapbrother · 2018-02-02 · in Google’s Fuchsia OS on the Pixelbook -
▲ 4
Littlekernelstory by tosh · 2017-09-15 · 0 comments
-
…but the lineage seems there: https://fuchsia.googlesource.com/zircon/+/master/kernel/kern... https://github.com/littlekernel/lk/blob/master/kernel/mp.c
comment by tyingq · 2017-09-15 · in Zircon Kernel, Core Drivers and Services -
…the lower levels of the design. It's another project started by Travis Geiselbrecht of NewOS fame. https://github.com/littlekernel/lk
comment by angrygoat · 2017-09-15 · in Zircon Kernel, Core Drivers and Services -
▲ 4
The LK embedded kernel: An SMP-aware kernel designed for small systemsstory by ingve · 2016-08-14 · 0 comments
-
This appears to be a somewhat informative page to link to: https://github.com/littlekernel/lk/wiki I had to find it buried inside the magenta repository somewhere. It's hard to piece together what this project is all about, indeed.
comment by stingraycharles · 2016-08-11 · in Fuchsia, a new operating system