[Arm-netbook] microkernels

[doark at mail.com]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

On Tue, 11 Dec 2018 03:05:45 +0000
Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote:

> On Tue, Dec 11, 2018 at 2:12 AM Christopher Havel
> <laserhawk64 at gmail.com> wrote:
> 
> > So, as I (poorly) understand it, the idea of a "microkernel" is that
> > each process/thread/application (I'm not quite sure which) gets its
> > own kernel, sort of, and that this kernel is somewhat modular in that
> > it only provides what functionality the application needs from it.  
> 
>  not quite: a microkernel provides the absolute absolute minimum
> functionality to manage tasks and communication _between_ tasks.  as a
> result they're typically extremely small, and usually are the only
> place where assembly code is needed.
> 
>  L4ka ports of the linux kernel basically turn the entire linux
> "kernel" effectively into a user-space-like "application".  you now
> have *three* levels: L4ka microkernel, linux "kernel", GNU/Linux OS.
> 
>  the GNU/Hurd's microkernel inter-process communication is actually
> sufficiently abstracted such that processes may actually be run
> *off-machine*, by dropping in a full-on network-based RPC (remote
> procedure call) mechanism.  hypothetically this would allow full
> migration of processes from one machine to another, without any
> interruption in the running of the user applications as they migrate.
> 
> l.
> 

That sounds really cool.
No more FF pocket, or cloud, just use MicroLinux.

Sincerely,
David

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEL2N7+xWmVOJDQxWGm3XCrhg2YP8FAlwP95MACgkQm3XCrhg2
YP+MuBAAhf6w8CdUda5ihMtcdU+vjeYUnPKSIO08dxIj3s5BGXydCOAv7x3Cqq/D
XlA3BB1T61bIlOJ8YCsHrKyx3rmRtJayvAARIKoOfgLau86lHpaVx8fha6UjuvML
JUDlahj8c1wCbsvh72rmUfE/E710Og4xXuXxzI+5D49Vc2mTQpQNTPcGTq7NtrK3
kwhcoQwFo+WmJnBapcYJu2SEc5/Gxv7AauGhC/Q0VvurfEfKixM4/G4yeq/nDY9f
j/tBenMZgYeoOc+ZyiN5zuPqJmtIeO6bIaVl9VlkR4edREoOQpljaXL9n0MkfH3t
mBs7JW7GPfV5pPE0fqdtEiFv+m02WIPgNnSCBL8XgR8KA3IMW6QvgjaXhGBep3/g
eskC7zAgSXX8DUet5oSfNPlSsuyoTzh2awCWBGlqD6bYL1RG+rItm5gCCo8tQJgJ
8540yLcC0k0VzCHlERzjntP8qM1vIvlrAC+9mnpcQmZThDpMeuX1ZmI8TtWXgIFo
5KXRqTzHe0hDoiKs6FGlV1XYUrj0BERndZA7cYZxZjCH3u/8YRqCcj5bI7jXpT+c
VZdX75sRwg6Kc4KajDq+A1So1X/GqiRvCiwcOFWSuwOvAmDT/KJOWzLK0EWeAn9D
KFuOxV28JbkzglhD/SwmQmKj32XTa07s0+RVAzwzQ3WitItgh7c=
=zHb7
-----END PGP SIGNATURE-----