Nietengürteltier🦄Mar 15, 2018
erin ｡:ﾟ૮ ˶ˆ ﻌ ˆ˶ ა ﾟ:｡
i need resources on memory management in microkernels, anyone have pointers
Mar 15, 2018 at 2:36amWeb
Show threaderin ｡:ﾟ૮ ˶ˆ ﻌ ˆ˶ ა ﾟ:｡Mar 15, 2018
OH MY GOD I JUST REALIZED THIS IS A FUKCING JOKE AND I HATE IT
Show threaderin ｡:ﾟ૮ ˶ˆ ﻌ ˆ˶ ა ﾟ:｡Mar 15, 2018
i made this post and it's a stupid joke and it wasn't even intentional i swear!!!
Show threadjosefMar 15, 2018
@er1n https://en.wikipedia.org/wiki/Ignorantia_juris_non_excusat !!!!!!!
Ignorantia juris non excusat - Wikipedia

Show threadjosefMar 15, 2018

@er1n (i love the choice of example in this:

"Thus, it is well settled that persons engaged in any undertakings outside what is common for a normal person, such as running a nuclear power plant,")

Show threaderin ｡:ﾟ૮ ˶ˆ ﻌ ˆ˶ ა ﾟ:｡Mar 15, 2018
@jk fuckkkkkk
Show threadDJ SundogMar 15, 2018
@er1n @jk oshit brb
Show thread maple classic™ Mar 15, 2018
@er1n if it helps any i never parsed it as a joke until you mentioned it because i've never used memory pointers for anything
Show thread⦺ irick 🐁🐈⚩Mar 15, 2018
@er1n
BUT IT WAS A GOOD JOKE ERIN D:
Show threadDJ SundogMar 15, 2018
@er1n don't do any, it is microer
Show threadRain LainMar 15, 2018
@er1n heh
benis ennui (@[email protected])

59.9K Toots, 1.1K Following, 1.94K Followers · blitgirl, undergrad with a sharpie bring her coffee. she's definitely tired. cybre∧eecs∧DSP nerd∧cranky ML girl∧maths∧graphics "be myself? what kind of garbage advice is that" follow∥boost ≠ endorsement of a user languages: EN (native), DE (barely)

Show threadbhtooefrMar 15, 2018

@er1n To run the joke into the ground...

0x00158000000000000A8BC022E900023F with tag bits set.

(And yes, that's a real pointer. That I just copied off of a running system.)

Show threadSamuel Hodgkins (samis) 🍄Mar 15, 2018
@bhtooefr @er1n I don't think i counts as a microkernel (and does it point to anything particularly important?)
Show threadbhtooefrMar 15, 2018

@samis @er1n AFAIK that's a bit... complicated, it has a lot of microkernel concepts even if enough is implemented down in SLIC for it to not /really/ be a microkernel. Message passing all the things is absolutely part of it.
(Kinda like how PowerPC is arguably not really RISC, but it uses a lot of RISC concepts.)

And... yes, it points to something important. (The address is also going to be unique to a given OS install.)

Show threaderin ｡:ﾟ૮ ˶ˆ ﻌ ˆ˶ ა ﾟ:｡Mar 15, 2018
@bhtooefr points for effort
Show threadJamey SharpMar 15, 2018
@er1n did you get a good answer? I like the seL4 philosophy on memory management: there's a way for one task to transfer ownership of some physical pages to another task; paging is handled in userspace somehow (?); and when a task wants some service from either the kernel or some userspace server where completing the task requires some extra memory, then the client transfers ownership of enough pages over out of its own allocation, so trusted code never runs out of memory.
Show threadMark Shane HaydenMar 15, 2018
@er1n LOL sounds like a #dadjoke as told by Dennis Richie 😝
Show threadmmu_manApr 10, 2018
@er1n checked https://wiki.osdev.org/ ?
Expanded Main Page - OSDev Wiki

Show threaderin ｡:ﾟ૮ ˶ˆ ﻌ ˆ˶ ა ﾟ:｡Apr 10, 2018

@mmu_man yeah, it's a pretty good resource but it mostly focuses on small monolithic kernels :(

i ended up finding what i was looking for, anyway, though! thanks for replying seriously though, instead of pointing out that i accidentally made a joke :D

Show threadmmu_manApr 10, 2018
@er1n oh, just got it :D