22
Is Android's kernel holding it back? (self.askandroid)
submitted 10 months ago by ElPussyKangaroo to c/askandroid
11 comments fedilink hide all child comments

I recently found out that Android's kernel is VERY different from any Apple implementation. Never really crossed my mind that there are different types of kernels.

This made me wonder - if the microkernel is so much better, at the cost of being complicated to develop an OS for, would Android be better on microkernel?

Please enlighten me. I'm only trying to learn more.

Also, do interact, Lemmy needs good conversation.

you are viewing a single comment's thread
view the rest of the comments
[-] Atemu@lemmy.ml 6 points 10 months ago

This isn't really fit for the Android community because "Android's kernel" is the Linux kernel. Android is more about everything beyond the kernel; the userspace APIs and components that make an Android phone actually work. The kernel is rather unimportant here. Android uses Linux because it's the most mature operating system out there.

Monolith vs. microkernel has been a hot debate in operating systems ever since the concepts emerged.

I personally really like the basic idea behind microkernels (separating mechanism and policy) but can also appreciate that, in reality, the best kernel in existence for general purpose computing is purposefully a monolith while the best a true microkernel (Minix) has achieved is to run CPU firmware.

Do note, over the past decade or so, that Linux has sorta been stealthily laying out the basics to turn itself into something of a microkernel. See https://en.wikipedia.org/wiki/EBPF

Android uses Linux' eBPF for its firewall implementation for instance.

I don't have much experience with Apple's XNU kernel but AFAIK it's not a true microkernel but a lot more of a microkernel than Linux is.

[-] ElPussyKangaroo 1 points 10 months ago

I see... Will read your suggestions...

this post was submitted on 22 Jan 2024
22 points (86.7% liked)

Ask Android

2211 readers
1 users here now

A place to ask your questions and seek help related to your Android device and the Android ecosystem.

Whether you're looking for app recommendations, phone buying advice, or want to explore rooting and tutorials, this is the place for you!

Rules
  1. Be descriptive: Help us help you by providing as many details as you can.
  2. Be patient: You're getting free help from Internet strangers, so you may have to wait for an answer.
  3. Be helpful: If someone asks you for more information, tell us what you can. If someone asks you for a screenshot, please provide one!
  4. Be nice: Treat others with respect, even if you don't agree with their advice. Accordingly, you should expect others to be nice to you as well. Report intentionally rude answers.
  5. No piracy: Sharing or discussing pirated content is strictly prohibited. Do not ask others for a paid app or about how to acquire one.
  6. No affiliate/marketing links: Posting affiliate links is not allowed.
  7. No URL shorteners: These can hide the true location of the page and lead people to malicious places.
  8. No lockscreen bypasses: Please do not comment, link, or assist with bypassing lock screens or factory reset protection.
  9. No cross-posting: Please take the time to make a proper post instead of cross-posting.
Other Communities

founded 1 year ago
MODERATORS
ijeff
ladfrombrad