Hacker GitHub

← All repos

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

Mentions per year 13 mentions · busiest year 2017 (3)
20082026
  1. 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
  2. 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?
  3. ▲ 6
    The Little Kernel Embedded Operating System
    story by api · 2022-09-08 · 0 comments
  4. ▲ 2
    LK Embedded Kernel
    story by tosh · 2022-08-31 · 0 comments
  5. …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
  6. LK is C. It looks like they ported it to C++ for Fuchsia. https://github.com/littlekernel/lk/tree/master/kernel
  7. 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
  8. …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
  9. ▲ 4
    Littlekernel
    story by tosh · 2017-09-15 · 0 comments
  10. …but the lineage seems there: https://fuchsia.googlesource.com/zircon/+/master/kernel/kern... https://github.com/littlekernel/lk/blob/master/kernel/mp.c
  11. …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
  12. ▲ 4
    The LK embedded kernel: An SMP-aware kernel designed for small systems
    story by ingve · 2016-08-14 · 0 comments
  13. 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