d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

create an SMP kernel by default in picobsd

Browse Source
This commit is contained in:
Luigi Rizzo 2009-11-08 08:59:40 +00:00
parent afe0ec0027
commit ce837c4a0f
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=199040
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
release/picobsd/bridge/PICOBSD
View File

@ -11,11 +11,14 @@ hints "PICOBSD.hints"
# values accessible through getenv()
# env "PICOBSD.env"
cpu I486_CPU
#cpu I486_CPU
cpu I586_CPU
cpu I686_CPU
ident PICOBSD
options SMP
device apic
options SCHED_4BSD # mandatory to have one scheduler
#options MATH_EMULATE #Support for x87 emulation
options INET #InterNETworking