sgielen / cosix Goto Github PK
View Code? Open in Web Editor NEWA fully capability-based operating system
License: Other
A fully capability-based operating system
License: Other
Could we get an ISO installer published for Cosix, to make it easier to access for newbies? For example, drag and drop an ISO in a GitHub release.
I get an error while compiling on:
vagrant@vagrant:~/cosix/build$ uname -a
Linux vagrant 4.7.0-cloudabi+ #1 SMP Fri Jul 21 12:03:48 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux
The compiler moans about it not being able to find cstddef
. I think I do indeed not have any stddef.h
for i686. What did I miss in the installation of the build dependencies?
HEAD is now at 97121f8... Fix uninitialized memory and (blocking) behavior of read_keystrokes in terminal_impl.
vagrant@vagrant:~/cosix/build$ cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_TOOLCHAIN_FILE=../cmake/Toolchain-i686-elf.cmake ..
** Cross compiling for i686-unknown-cloudabi -- tests disabled, bare metal build enabled
-- Configuring done
-- Generating done
-- Build files have been written to: /home/vagrant/cosix/build
vagrant@vagrant:~/cosix/build$ make
Scanning dependencies of target memory
[ 0%] Building CXX object memory/CMakeFiles/memory.dir/allocation.cpp.obj
[ 1%] Building CXX object memory/CMakeFiles/memory.dir/allocator.cpp.obj
[ 1%] Building CXX object memory/CMakeFiles/memory.dir/page_allocator.cpp.obj
In file included from /home/vagrant/cosix/memory/page_allocator.cpp:3:
In file included from /home/vagrant/cosix/fd/process_fd.hpp:3:
In file included from /home/vagrant/cosix/fd/fd.hpp:6:
/home/vagrant/cosix/memory/smart_ptr.hpp:8:10: fatal error: 'cstddef' file not found
#include <cstddef>
^~~~~~~~~
1 error generated.
memory/CMakeFiles/memory.dir/build.make:110: recipe for target 'memory/CMakeFiles/memory.dir/page_allocator.cpp.obj' failed
make[2]: *** [memory/CMakeFiles/memory.dir/page_allocator.cpp.obj] Error 1
CMakeFiles/Makefile2:1734: recipe for target 'memory/CMakeFiles/memory.dir/all' failed
make[1]: *** [memory/CMakeFiles/memory.dir/all] Error 2
Makefile:83: recipe for target 'all' failed
make: *** [all] Error 2
Very cool stuff.
Here's hoping I can run it on my BBGW before long. I'm interested to do the work, though I'm not confident I'll get to it any time soon.
p.s. by way of introduction: My Capability Security 2017 Wish-List
RELEASE-1.0.md notes issues with the TCP/IP implementation here. My impression is that lwip is pretty complete and mature. (I think I discovered it via genode). Care to share your motivation for a from-scratch TCP/IP implementation?
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.