[9fans] segbrk(2) vs friends

2015-12-07 Thread Giacomo Tesio
I'm trying to understand the reason behind the introduction of segbrk(2).

I cannot find a use case in the codebase.

The manual page states that:

The segbrk system call may go away or
be re-implemented to give more general segment control, sub-
suming the functions of brk(2) ,
segflush(2)  and segfree
insegattach(2) .


But given the manpage itself is pretty cryptic, I wonder if it's outdated.
Or if it is actually deprecated.


Do you know any paper that can explain its design and intent?


Giacomo


[9fans] Inferno-rpi-0.4 release

2015-12-07 Thread Oleksandr Iakovliev
Releasing *Inferno-rpi-0.4*

Changes:
* Significant performance improvement due to fixed error in process
scheduling/idle
* Boot time is about ONE second :)

Download:
* https://bitbucket.org/infpi/inferno-rpi/downloads/inferno-rpi-0.4.zip

Installation:
1. Download latest zip package from
https://bitbucket.org/infpi/inferno-rpi/downloads
2. Pepare SD card with first DOS partition with size less than 250 MB
(vfat32 support is not complete)
3. Unzip all files to SD (boot.scr, kernel.bin, … – should in root of SD)
4. Boot Raspberry Pi
5. By default it starts “`styxlisten -A tcp!*!564 export /“`, so you can
mount it on other host by “`mount -A tcp!10.0.56.101!564 /n/remote/rpi“`
(-A means no auth, IP is for example, see what it got by DHCP)
6. If you do not want GUI (wm/wm) to be started just edit config.txt and
replacekernel.bin to kernel-nogui.bin